Matches in SemOpenAlex for { <https://semopenalex.org/work/W1537107338> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1537107338 endingPage "222" @default.
- W1537107338 startingPage "206" @default.
- W1537107338 abstract "We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processes, namely labile processes, which can exhibit dynamic changes in their interaction structure, as modelled in the π-calculus of Milner, Parrow and Walker for example, and motile processes, which can exhibit motion, as modelled in the ambient calculus of Cardelli and Gordon. A common characteristic of the algebraic frameworks presented in this paper is the use of names as first class values and the support for the dynamic generation of new, fresh names." @default.
- W1537107338 created "2016-06-24" @default.
- W1537107338 creator A5022722845 @default.
- W1537107338 date "2001-01-01" @default.
- W1537107338 modified "2023-09-24" @default.
- W1537107338 title "Mobile Processes: A Commented Bibliography" @default.
- W1537107338 cites W1503918819 @default.
- W1537107338 cites W1521367064 @default.
- W1537107338 cites W1522429036 @default.
- W1537107338 cites W1534454033 @default.
- W1537107338 cites W1547651002 @default.
- W1537107338 cites W1557268818 @default.
- W1537107338 cites W1562901937 @default.
- W1537107338 cites W1584334623 @default.
- W1537107338 cites W1591694044 @default.
- W1537107338 cites W1591752798 @default.
- W1537107338 cites W1596502640 @default.
- W1537107338 cites W1676143113 @default.
- W1537107338 cites W1679756568 @default.
- W1537107338 cites W176676668 @default.
- W1537107338 cites W1815958522 @default.
- W1537107338 cites W1844373292 @default.
- W1537107338 cites W1847171791 @default.
- W1537107338 cites W1895954544 @default.
- W1537107338 cites W1955679363 @default.
- W1537107338 cites W1973627522 @default.
- W1537107338 cites W1978469611 @default.
- W1537107338 cites W1998827035 @default.
- W1537107338 cites W2020813639 @default.
- W1537107338 cites W2033241085 @default.
- W1537107338 cites W2047084525 @default.
- W1537107338 cites W2048984644 @default.
- W1537107338 cites W2050942832 @default.
- W1537107338 cites W2053534205 @default.
- W1537107338 cites W2055378322 @default.
- W1537107338 cites W2072048176 @default.
- W1537107338 cites W2076359144 @default.
- W1537107338 cites W2089615179 @default.
- W1537107338 cites W2092952058 @default.
- W1537107338 cites W2093236316 @default.
- W1537107338 cites W2106102830 @default.
- W1537107338 cites W2107438584 @default.
- W1537107338 cites W2108857165 @default.
- W1537107338 cites W2126008038 @default.
- W1537107338 cites W2128138604 @default.
- W1537107338 cites W2128932399 @default.
- W1537107338 cites W2136134319 @default.
- W1537107338 cites W2148025199 @default.
- W1537107338 cites W2151604885 @default.
- W1537107338 cites W2167998587 @default.
- W1537107338 cites W2168538078 @default.
- W1537107338 cites W2170626879 @default.
- W1537107338 cites W2201760732 @default.
- W1537107338 cites W2293557922 @default.
- W1537107338 cites W2914597273 @default.
- W1537107338 cites W3020829080 @default.
- W1537107338 cites W3023231920 @default.
- W1537107338 cites W4241846581 @default.
- W1537107338 cites W4243186596 @default.
- W1537107338 cites W4246926559 @default.
- W1537107338 cites W4255198244 @default.
- W1537107338 doi "https://doi.org/10.1007/3-540-45510-8_11" @default.
- W1537107338 hasPublicationYear "2001" @default.
- W1537107338 type Work @default.
- W1537107338 sameAs 1537107338 @default.
- W1537107338 citedByCount "17" @default.
- W1537107338 countsByYear W15371073382013 @default.
- W1537107338 countsByYear W15371073382018 @default.
- W1537107338 countsByYear W15371073382020 @default.
- W1537107338 crossrefType "book-chapter" @default.
- W1537107338 hasAuthorship W1537107338A5022722845 @default.
- W1537107338 hasBestOaLocation W15371073382 @default.
- W1537107338 hasConcept C161191863 @default.
- W1537107338 hasConcept C41008148 @default.
- W1537107338 hasConcept C97002063 @default.
- W1537107338 hasConceptScore W1537107338C161191863 @default.
- W1537107338 hasConceptScore W1537107338C41008148 @default.
- W1537107338 hasConceptScore W1537107338C97002063 @default.
- W1537107338 hasLocation W15371073381 @default.
- W1537107338 hasLocation W15371073382 @default.
- W1537107338 hasLocation W15371073383 @default.
- W1537107338 hasLocation W15371073384 @default.
- W1537107338 hasOpenAccess W1537107338 @default.
- W1537107338 hasPrimaryLocation W15371073381 @default.
- W1537107338 hasRelatedWork W1500911184 @default.
- W1537107338 hasRelatedWork W1558902287 @default.
- W1537107338 hasRelatedWork W2123230888 @default.
- W1537107338 hasRelatedWork W2334900557 @default.
- W1537107338 hasRelatedWork W349436022 @default.
- W1537107338 hasRelatedWork W587921269 @default.
- W1537107338 hasRelatedWork W605089018 @default.
- W1537107338 hasRelatedWork W2092236944 @default.
- W1537107338 hasRelatedWork W2526684145 @default.
- W1537107338 hasRelatedWork W449276349 @default.
- W1537107338 isParatext "false" @default.
- W1537107338 isRetracted "false" @default.
- W1537107338 magId "1537107338" @default.
- W1537107338 workType "book-chapter" @default.