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

By Benedikt Bollig

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 3642069479
• ISBN13: 9783642069475
• Release Date: October 2010
• Publisher: Springer
• Length: 181 Pages
• Weight: 0.61 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"