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.
| ISBN-13: | 9783540329220 |
| ISBN-10: | 3540329226 |
| Publisher: | Springer Berlin Heidelberg |
| Publication date: | 2006-07-24 |
| Edition description: | 2006 |
| Pages: | 181 |
| Product dimensions: | Height: 9.39 Inches, Length: 6.37 Inches, Weight: 1.01192178258 Pounds, Width: 0.6 Inches |
| Author: | Benedikt Bollig |
| Language: | en |
| Binding: | Hardcover |
Discover more books in the same category
