Ebook: Communicating and mobile systems: the pi-calculus

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 pi-Calculus: 8. What is mobility? 9. The pi-calculus and reaction; 10. Applications of the pi-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index