A Calculus of Communicating Systems

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

List of contents

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

Product details

• Authors: R. Milner
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 14.04.2009
• EAN: 9783540102359
• ISBN: 978-3-540-10235-9
• No. of pages: 174
• Weight: 268 g
• Illustrations: VI, 174 p.
• Series: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Subject: Social sciences, law, business > Business > General, dictionaries