Robin Milner introduces a new way of modelling communication that reflects its central position in computing. Everything is introduced by means of examples but the aim of the book is to develop the p-calculus, a theory whose scope includes the internet just as much as programs, algorithms and programming languages.

First account of new theory of communication in computing which describes networks, as well as parts of computer systems.