Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic - Softcover

Buch 25 von 44: Texts in Theoretical Computer Science. An EATCS

Bollig, Benedikt

 
9783642069475: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
Softcover
ISBN 10: 3642069479 ISBN 13: 9783642069475
Verlag: Springer, 2010

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
3642069479
ISBN 13 
9783642069475
Einband
Taschenbuch
Anzahl der Seiten
192
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540329220: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Vorgestellte Ausgabe

ISBN 10:  3540329226 ISBN 13:  9783540329220
Verlag: Springer, 2006
Hardcover