Custom cover image
Custom cover image

A calculus of communicating systems / Robin Milner

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture notes in computer science ; 92Publisher: Berlin [u.a.] : Springer, 1980Description: Online-RessourceISBN:
  • 9783540383116
Subject(s): Additional physical formats: 9783540102359 | Erscheint auch als: A calculus of communicating systems. Druck-Ausgabe Berlin [u.a.] : Springer, 1980. VI, 171 S.DDC classification:
  • 511.3
  • 658.05 23
LOC classification:
  • QA267
DOI: DOI: 10.1007/3-540-10235-3Online resources: Summary: 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.PPN: PPN: 1649197616Package identifier: Produktsigel: ZDB-1-SLN | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record