Formal Models of Communicating Systems (PDF)
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical...
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.
- Autor: Benedikt Bollig
- 2006, 2006, 181 Seiten, Englisch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540329234
- ISBN-13: 9783540329237
- Erscheinungsdatum: 08.09.2006
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 1.84 MB
- Ohne Kopierschutz
- Vorlesefunktion
From the reviews:
"The book deals with one essential problem of communication systems, namely formal description of protocols and systems and verification of correctness of their operation. … The book, due to clear definitions, well proved theorems and a number of illustrative examples, can be advised as a valuable source of knowledge for graduate mathematics and computer science students." (Jozef Wozniak, Zentralblatt MATH, Vol. 1107 (9), 2007)
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Formal Models of Communicating Systems".
Kommentar verfassen