Communicating and Mobile Systems - 9780521658690

Discover how to model distributed systems using the Pi‑Calculus, with intuitive explanations of process interaction, name passing, and evolving network structures, plus hands‑on exercises for real‑world protocols.

Share: