Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic by Benedikt BolligFormal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic by Benedikt Bollig

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic

byBenedikt Bollig

Paperback | October 14, 2010

Pricing and Purchase Info

$131.67 online 
$150.50 list price save 12%
Earn 658 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.

Title:Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order LogicFormat:PaperbackDimensions:181 pagesPublished:October 14, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642069479

ISBN - 13:9783642069475

Look for similar items by category:

Reviews

Table of Contents

Preliminaries.- Graphs, Logics, and Graph Acceptors.- Words and Finite Automata.- Dags and Asynchronous Cellular Automata.- Mazurkiewicz Traces and Asynchronous Automata.- Message Sequence Charts.- Communicating Finite-State Machines.- Beyond Implementability.

Editorial Reviews

From the reviews:"The book deals with one essential problem of communication systems, namely formal description of protocols and systems and verification of correctness of their operation. . The book, due to clear definitions, well proved theorems and a number of illustrative examples, can be advised as a valuable source of knowledge for graduate mathematics and computer science students." (Jozef Wozniak, Zentralblatt MATH, Vol. 1107 (9), 2007)