Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

A calculus of communicating systems / Robin Milner

Von: Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture notes in computer science ; 92Verlag: Berlin [u.a.] : Springer, 1980Beschreibung: Online-RessourceISBN:
  • 9783540383116
Schlagwörter: Andere physische Formen: 9783540102359 | Erscheint auch als: A calculus of communicating systems. Druck-Ausgabe Berlin [u.a.] : Springer, 1980. VI, 171 S.DDC-Klassifikation:
  • 511.3
  • 658.05 23
LOC-Klassifikation:
  • QA267
DOI: DOI: 10.1007/3-540-10235-3Online-Ressourcen: Zusammenfassung: 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
Dieser Titel hat keine Exemplare