RESOURCES FOR THE PI-CALCULUS AND RELATED FORMALISMS

**Calculi for Mobile Processes** - The main home page
for mobile processes, the pi-calculus and related formalisms, including the
ambient calculus. Includes links to a searchable bibliography, major
introductory texts, people, groups, institutions, projects, and tools.

**Robin Milner’s Home Page** – Describes Milner’s recent
work on Action Calculi, and provides a link to Milner’s ftp site, with many
major papers on the pi-calculus and related work.

**Corrado Priami’s Home Page** – More information and
papers on the stochastic pi-calculus

**Luca Cardelli’s Home Page** – More information and
papers on the ambient calculus

Milner, R. (1999) **Communicating and Mobile Systems: The pi-Calculus**.
Cambridge University Press. An Excellent and straightforward introduction to
the calculus, which does not require any prior knowledge in the field.

Milner, R. (1993) **The
polyadic pi-calculus: A tutorial**.
In Bauer F. L., Brauer W. and
Schwichtenberg H., Logic and Algebra of Specification, Proceedings of
International {NATO} Summer School 94, pp. 428-440

Milner, R. Parrow J., and Walker D. (1992) A calculus
for mobile processes, **Part I** and **II**. Information and Computation 100: 1-77

Priami, C. (1995) The Stochastic pi-calculus.
The Computer Journal 38: 578-589