Communicating and Mobile Systems: The Pi Calculus van Robin Milner is een Engelstalig studieboek over de pi-calculus en formele modellen voor communicating and mobile systems.
Het boek behandelt mobility, process interaction, behavioral equivalence en type systems en laat zien hoe dynamisch veranderende communicatiestructuren formeel kunnen worden gemodelleerd. Relevant voor studenten theoretical computer science, programming languages, concurrency en formal methods. ISBN 9780521658690.