A calculus of communicating systems / Robin Milner

Von:

Milner, Robin, 1934-2010 [aut]

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

Exemplare ( 0 )

Dieser Titel hat keine Exemplare