Communicating and Mobile Systems: The Pi-Calculus
Explore Pi‑Calculus fundamentals with clear examples of process communication, mobility, and concurrency, guiding readers through formal semantics, verification techniques, and real‑world applications.