for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to eBooks.com?

Learn more

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Formal Models of Communicating Systems by Benedikt Bollig
Add to cart
US$ 109.00
(If any tax is payable it will be calculated and shown at checkout.)

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.

Springer Berlin Heidelberg; September 2006
187 pages; ISBN 9783540329237
Read online, or download in secure PDF format
Title: Formal Models of Communicating Systems
Author: Benedikt Bollig
 
Buy, download and read Formal Models of Communicating Systems (eBook) by Benedikt Bollig today!