Communicating and Mobile Systems: The Pi Calculus Robin Milner is an English-language textbook that focuses on the theory of communication and mobile systems. This work is intended for students in higher education and professionals who are interested in computer networks and communication models.
The pi-calculus is distinguished by its treatment of mobility within communication systems. Here, the movement of data within a program is equated with sending messages or entire programs through the internet. This makes it possible to model dynamic, self-reconfigurable networks.
The book covers the key concepts of behavioral equivalence and a new type theory, which together form the foundation for understanding interactive systems. The theory includes not only the internet and communication protocols, but also algorithms, programming languages, and data structures.
This study book offers the first thorough introduction to the pi-calculus and is therefore an indispensable reference work for anyone working on communicating and mobile systems.
Relevant topics include computer networking, communication, and theoretical computer science.