Formal Models of Communicating Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Formal Models of Communicating Systems PDF full book. Access full book title Formal Models of Communicating Systems by Benedikt Bollig. Download full books in PDF and EPUB format.

Formal Models of Communicating Systems

Formal Models of Communicating Systems PDF Author: Benedikt Bollig
Publisher: Springer Science & Business Media
ISBN: 3540329234
Category : Computers
Languages : en
Pages : 183

Book Description
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.
➤