Bild 1 von 1

Standardbild

A Calculus of Communicating Systems R. Milner - Bild 1 von 1

A Calculus of Communicating Systems von R. Milner (1980, Taschenbuch)

buch-mimpf (20140)

100% positive Bewertungen

Preis:

€ 53,49

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Mi, 9. Jul - Fr, 11. Jul

Rücknahme:

1 Monat Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Titel: A Calculus of Communicating Systems, Einband: Taschenbuch, Autor: R. Milner, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 184, Maße: 235x155x11 mm, Gewicht: 289 g, Verkäufer: buch-mimpf, Schlagworte: Calc Equivalence Model Semantics calculus communication data structure data structures proof techniques.

Über dieses Produkt

Produktinformation

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.