Communicating and Mobile Systems

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility: the Internet and its communication protocols fall with... » 

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility: the Internet and its communication protocols fall within the scope of this theory as much as computer programs, data structures, algorithms and programming languages do. «