Communicating and Mobile Systems

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.