9783540821632: Formal Models of Communicating Systems
Softcover
ISBN 10: 3540821635 ISBN 13: 9783540821632
Publisher: Springer, 2008

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2008
Language
English
ISBN 10 
3540821635
ISBN 13 
9783540821632
Binding
Paperback
Number of pages
192

Other Popular Editions of the Same Title

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

Featured Edition

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