Verwandte Artikel zu Formal Models of Communicating Systems: Languages,...

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

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

Bollig, Benedikt

 
9783540329220: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Hardcover
ISBN 10: 3540329226 ISBN 13: 9783540329220
Verlag: Springer, 2006

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
2006
Sprache
Englisch
ISBN 10 
3540329226
ISBN 13 
9783540329220
Einband
Gebundene Ausgabe
Anzahl der Seiten
190
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Slevogtstraße 3-5
Heidelberg
69126
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3642069479 ISBN 13:  9783642069475
Verlag: Springer, 2010
Softcover