Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505155144> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1505155144 endingPage "289" @default.
- W1505155144 startingPage "275" @default.
- W1505155144 abstract "A verification environment for the π-calculus is presented. The environment takes a direct advantage of a general theory which allows to associate ordinary finite state automata to a wide class of π-calculus agents, so that equivalent automata are associated to equivalent π-calculus agents. A key feature of the approach is the reuse of efficient algorithms and verification techniques which have been developed and implemented for ordinary automata." @default.
- W1505155144 created "2016-06-24" @default.
- W1505155144 creator A5003816767 @default.
- W1505155144 creator A5014572316 @default.
- W1505155144 creator A5026348666 @default.
- W1505155144 creator A5036876399 @default.
- W1505155144 creator A5048293751 @default.
- W1505155144 creator A5061468940 @default.
- W1505155144 date "1997-01-01" @default.
- W1505155144 modified "2023-09-27" @default.
- W1505155144 title "An automata based verification environment for mobile processes" @default.
- W1505155144 cites W1490651621 @default.
- W1505155144 cites W1513322016 @default.
- W1505155144 cites W1552902269 @default.
- W1505155144 cites W1602925513 @default.
- W1505155144 cites W1639519860 @default.
- W1505155144 cites W1839078145 @default.
- W1505155144 cites W1955679363 @default.
- W1505155144 cites W1978469611 @default.
- W1505155144 cites W2015640848 @default.
- W1505155144 cites W2055986709 @default.
- W1505155144 cites W2128932399 @default.
- W1505155144 cites W2153411278 @default.
- W1505155144 cites W2888310793 @default.
- W1505155144 cites W2913408576 @default.
- W1505155144 cites W2914851216 @default.
- W1505155144 cites W4211046677 @default.
- W1505155144 doi "https://doi.org/10.1007/bfb0035394" @default.
- W1505155144 hasPublicationYear "1997" @default.
- W1505155144 type Work @default.
- W1505155144 sameAs 1505155144 @default.
- W1505155144 citedByCount "14" @default.
- W1505155144 countsByYear W15051551442013 @default.
- W1505155144 countsByYear W15051551442017 @default.
- W1505155144 crossrefType "book-chapter" @default.
- W1505155144 hasAuthorship W1505155144A5003816767 @default.
- W1505155144 hasAuthorship W1505155144A5014572316 @default.
- W1505155144 hasAuthorship W1505155144A5026348666 @default.
- W1505155144 hasAuthorship W1505155144A5036876399 @default.
- W1505155144 hasAuthorship W1505155144A5048293751 @default.
- W1505155144 hasAuthorship W1505155144A5061468940 @default.
- W1505155144 hasBestOaLocation W15051551441 @default.
- W1505155144 hasConcept C112505250 @default.
- W1505155144 hasConcept C116248031 @default.
- W1505155144 hasConcept C167822520 @default.
- W1505155144 hasConcept C18903297 @default.
- W1505155144 hasConcept C199343813 @default.
- W1505155144 hasConcept C199360897 @default.
- W1505155144 hasConcept C206588197 @default.
- W1505155144 hasConcept C26517878 @default.
- W1505155144 hasConcept C2777686260 @default.
- W1505155144 hasConcept C38652104 @default.
- W1505155144 hasConcept C41008148 @default.
- W1505155144 hasConcept C71924100 @default.
- W1505155144 hasConcept C80444323 @default.
- W1505155144 hasConcept C86803240 @default.
- W1505155144 hasConceptScore W1505155144C112505250 @default.
- W1505155144 hasConceptScore W1505155144C116248031 @default.
- W1505155144 hasConceptScore W1505155144C167822520 @default.
- W1505155144 hasConceptScore W1505155144C18903297 @default.
- W1505155144 hasConceptScore W1505155144C199343813 @default.
- W1505155144 hasConceptScore W1505155144C199360897 @default.
- W1505155144 hasConceptScore W1505155144C206588197 @default.
- W1505155144 hasConceptScore W1505155144C26517878 @default.
- W1505155144 hasConceptScore W1505155144C2777686260 @default.
- W1505155144 hasConceptScore W1505155144C38652104 @default.
- W1505155144 hasConceptScore W1505155144C41008148 @default.
- W1505155144 hasConceptScore W1505155144C71924100 @default.
- W1505155144 hasConceptScore W1505155144C80444323 @default.
- W1505155144 hasConceptScore W1505155144C86803240 @default.
- W1505155144 hasLocation W15051551441 @default.
- W1505155144 hasOpenAccess W1505155144 @default.
- W1505155144 hasPrimaryLocation W15051551441 @default.
- W1505155144 hasRelatedWork W122051056 @default.
- W1505155144 hasRelatedWork W130102441 @default.
- W1505155144 hasRelatedWork W1540171226 @default.
- W1505155144 hasRelatedWork W186326776 @default.
- W1505155144 hasRelatedWork W1979390054 @default.
- W1505155144 hasRelatedWork W2050696740 @default.
- W1505155144 hasRelatedWork W2234262632 @default.
- W1505155144 hasRelatedWork W2482365960 @default.
- W1505155144 hasRelatedWork W2760602726 @default.
- W1505155144 hasRelatedWork W4309354299 @default.
- W1505155144 isParatext "false" @default.
- W1505155144 isRetracted "false" @default.
- W1505155144 magId "1505155144" @default.
- W1505155144 workType "book-chapter" @default.