A Calculus of Communicating Systems
Published on 1. September 1980
Book
Paperback/Softback
VI, 174 pages
978-3-540-10235-9 (ISBN)
Description
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.
More details
Series
Edition
1980 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VI, 174 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 11 mm
Weight
289 gr
ISBN-13
978-3-540-10235-9 (9783540102359)
DOI
10.1007/3-540-10235-3
Schweitzer Classification
Content
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.