Formal Models of Communicating Systems
Bollig, Benedikt![Formal Models of Communicating Systems](https://support.digitalhusky.com/media/annotations/sorted/293/29300961/CHSBZCOP0329300961.jpg)
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 f...