Articoli correlati a Formal Models of Communicating Systems: Languages,...

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Rilegato

Libro 25 di 44: Texts in Theoretical Computer Science. An EATCS

Bollig, Benedikt

 
9783540329220: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic
Rilegato
ISBN 10: 3540329226 ISBN 13: 9783540329220
Casa editrice: Springer-Nature New York Inc, 2006

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Nature New York Inc
Data di pubblicazione
2006
Lingua
Inglese
ISBN 10 
3540329226
ISBN 13 
9783540329220
Rilegatura
Copertina rigida
Numero di pagine
181
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania