A calculus of mobile processes, I
 Manage
 Copy
 Actions
 Export
 Annotate
 Print Preview
Choose the export format from the list below:
 Office Formats (1)

Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)

 Other Formats (1)

Export as HyperText Markup Language (HTML)

Robin Milner, Joachim Parrow, David Walker
Information and Computation 100(1), pages 140
1992
We present the πcalculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The calculus is an extension of the process algebra CCS, following work by Engberg and Nielsen, who added mobility to CCS while preserving its algebraic properties. The πcalculus gains simplicity by removing all distinction between variables and constants; communication links are identified by names, and computation is represented purely as the communication of names across links. After an illustrated description of how the πcalculus generalises conventional process algebras in treating mobility, several examples exploiting mobility are given in some detail. The important examples are the encoding into the πcalculus of higherorder functions (the λcalculus and combinatory algebra), the transmission of processes as values, and the representation of data structures as processes. The paper continues by presenting the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions—i.e., assumptions of inequality among names. These theories are based upon a semantics in terms of a labeled transition system and a notion of strong bisimulation, both of which are expounded in detail in a companion paper. We also report briefly on workinprogress based upon the corresponding notion of weak bisimulation, in which internal actions cannot be observed. 
Publications / Personal
Publications / Views
Home
— clouds
tags  authors  editors  journals
— per year
2023  2022  2021  2020  2019  2018  2017  2016  2015  2014–1927
— per sort
in journal  in proc  chapters  books  edited  spec issues  editorials  entries  manuals  tech reps  phd th  others
— per status
online  in press  proof  cameraready  revised  accepted  revision  submitted  draft  note
— services
ACM Digital Library  DBLP  IEEE Xplore  IRIS  PubMed  Google Scholar  Scopus  Semantic Scholar  Web of Science  DOI
Publication
— authors
Robin Milner, Joachim Parrow, David Walker
— status
published
— sort
article in journal
— publication date
1992
— journal
Information and Computation
— volume
100
— issue
1
— pages
140
URLs
identifiers
— DOI