Willkommen, schön sind Sie da!
Logo Ex Libris

A Calculus of Communicating Systems

  • Kartonierter Einband
  • 184 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization an... Weiterlesen
20%
72.00 CHF 57.60
Sie sparen CHF 14.40
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt
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.

Produktinformationen

Titel: A Calculus of Communicating Systems
Autor:
EAN: 9783540102359
ISBN: 3540102353
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 184
Gewicht: 289g
Größe: H235mm x B155mm x T10mm
Jahr: 1980
Untertitel: Englisch
Auflage: 1980

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"