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

Benedikt Bollig (Author)

Book Description

Publication Date: October 10, 2006 | ISBN-10: 3540329226 | ISBN-13: 978-3540329220 | Edition: 1

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.

Editorial Reviews

Review

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)

Product Details

• Hardcover: 192 pages
• Publisher: Springer; 1 edition (October 10, 2006)
• Language: English
• ISBN-10: 3540329226
• ISBN-13: 978-3540329220
• Product Dimensions: 9.2 x 6.3 x 0.6 inches
• Shipping Weight: 14.9 ounces (View shipping rates and policies)
• Amazon Best Sellers Rank: #4,078,528 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.