(* remainders of the abandoned mobility pages *)
Texts |
Instances |
Tools |
Miscellaneous |
Books
- The Pi-Calculus - A Theory of Mobile Processes (by Davide Sangiorgi and David Walker), June 2001.
- Communicating and Mobile Systems: the
-Calculus, (by Robin Milner). Cambridge University Press, May 1999.
Introductory Texts and Tutorials
- A Calculus for Mobile Processes (Parts I/II) (by Robin Milner, Joachim Parrow, and David Walker). Also available from this site: [Part I] [Part II] (Postscript)
- The Polyadic
-Calculus: A Tutorial, (by Robin Milner). Also available from this site: [(Postscript)]
- An Introduction to the
-calculus (by Joachim Parrow)
- Interaction Diagrams - An Easy Introduction to Mobile Processes in Pictures (by Joachim Parrow)
- A Brief Introduction to Applied Pi (by Peter Sewell)
- Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) (by Davide Sangiorgi).
- Interpreting functions as pi-calculus processes: a tutorial (by Davide Sangiorgi, no longer available online).
- Foundational Calculi for Programming Languages (by Benjamin Pierce). A chapter of a handbook for engineers, in which where the potential role of calculi for mobile processes as the core of high-level concurrent programming languages (in analogy to the role of lambda calculi as the core of functional programming languages) is explained.
Bibliographies
- The searchable bibliography, which is also available in two formats: bib and dvi.
- Silvano Dal-Zilio's commented bibilography on mobile processes
- Uwe Nestmann and Björn Victor's note in the EATCS Bulletin 64, mainly advertizing the online resources.
- Kohei Honda's selected bibliography on mobile processes, a useful personally commented reading guide to the area.