Abstract
The pi calculus [MPW92, Mil93] was defined by Milner, Parrow and Walker as a “Calculus of Mobile Processes”, extending work by Engberg and Nielsen [EN86]. It provides an underlying formal model for interactive systems which can change their configuration on the fly; this spans a large spectrum from mobile telephone networks to Java-like languages. The calculus aims to be a model for interactive behaviour as basic as is the lambda calculus for sequential computation. In fact, the lambda calculus can be modelled straightforwardly within it, and thus sequential computation can be seen as a special case of interaction.
Chapter PDF
Similar content being viewed by others
References
M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. Technical Report 414, Computer Laboratory, University of Cambridge, UK, 1997.
U. Engberg and M. Nielsen. A calculus of communicating systems with label-passing. Technical Report DAIMI. PB-208, Computer Science Department, University of Aarhus, Denmark, 1986.
R. Milner. The polyadic pi-calculus: a tutorial. In F.L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203–246. Springer Verlag, 1993.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I and II. Information and Computation, 100: 1–77, 1992.
B. Pierce and D. Turner. Pict: a programming language based on the pi calculus. Technical report, Computer Science Department, Indiana University, USA, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Milner, R. (1997). The Pi Calculus and its Applications. In: Bowman, H., Derrick, J. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35261-9_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-35261-9_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2952-7
Online ISBN: 978-0-387-35261-9
eBook Packages: Springer Book Archive