(* remainders of the abandoned mobility pages *)

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.