Table of Contents

Glossary; 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.

Promotional Information

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

Reviews

'… may well become the standard work on the π-calculus.' Martin Hoffman, Zentralblatt MATH