A Calculus of Communicating Systems
...................................\0. Introduction.pdf
...................................\1. Experimenting on nondeterministic machines.pdf
...................................\10. Determinancy and confluence.pdf
...................................\11. Conclusion.pdf
...................................\2. Synchronization.pdf
...................................\3. A case study in synchronization and proof techniques.pdf
...................................\4. Case studies in value-communication.pdf
...................................\5. Syntax and semantics of CCS.pdf
...................................\6. Communication trees (CTs) as a model of CCS.pdf
...................................\7. Observation equivalence and its properties.pdf
...................................\8. Some proofs about data structures.pdf
...................................\9. Translation into CCS.pdf
...................................\Back Matter.pdf
...................................\front-matter.pdf