Description
Book SynopsisRobin 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.
Trade Review'… may well become the standard work on the π-calculus.' Martin Hoffman, Zentralblatt MATH
Table of ContentsGlossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The π-Calculus: 8. What is mobility? 9. The π-calculus and reaction; 10. Applications of the π-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index.
