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.

Recensione

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)

Contenuti

Preliminaries.- Graphs, Logics, and Graph Acceptors.- Words and Finite Automata.- Dags and Asynchronous Cellular Automata.- Mazurkiewicz Traces and Asynchronous Automata.- Message Sequence Charts.- Communicating Finite-State Machines.- Beyond Implementability.

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
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3642069479 ISBN 13:  9783642069475
Casa editrice: Springer, 2010
Brossura