Formal Models of Communicating Systems
| Author | : Benedikt Bollig |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 183 |
| Release | : 2006-09-08 |
| ISBN-10 | : 9783540329237 |
| ISBN-13 | : 3540329234 |
| Rating | : 4/5 (234 Downloads) |
Book Synopsis Formal Models of Communicating Systems by : Benedikt Bollig
Download or read book Formal Models of Communicating Systems written by Benedikt Bollig and published by Springer Science & Business Media. This book was released on 2006-09-08 with total page 183 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
