Compositional Reversible Computation
Preprint in arXiv (May 2024)
A Calculus of Communicating Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 0. Introduction
-
Altmetric BadgeChapter 2 1. Experimenting on nondeterministic machines
-
Altmetric BadgeChapter 3 2. Synchronization
-
Altmetric BadgeChapter 4 3. A case study in synchronization and proof techniques
-
Altmetric BadgeChapter 5 4. Case studies in value-communication
-
Altmetric BadgeChapter 6 5. Syntax and semantics of CCS
-
Altmetric BadgeChapter 7 6. Communication trees (CTs) as a model of CCS
-
Altmetric BadgeChapter 8 7. Observation equivalence and its properties
-
Altmetric BadgeChapter 9 8. Some proofs about data structures
-
Altmetric BadgeChapter 10 9. Translation into CCS
-
Altmetric BadgeChapter 11 10. Determinancy and confluence
-
Altmetric BadgeChapter 12 11. Conclusion
Altmetric Badge
Citations
- dimensions_citation
- 2750 Dimensions