A calculus of communicating systems / Robin Milner

By:

Milner, Robin, 1934-2010 [aut]

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

Holdings ( 0 )

No physical items for this record

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)