ENGLISH

Communicating and mobile systems: the pi-calculus

By Robin Milner

Book information

Publisher
Cambridge Univ. Press
Year
1999
ISBN
0521643201, 9780521643207, 0521658691, 9780521658690
Language
english
Format
DJVU
Filesize
2 MB (1827195 bytes)
Edition
5. print
Pages
175\175
Library
Kolxo3
DPI
600
Time added
2012-12-29 17:00:00

Description

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

Similar books