Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Title:
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author:
Bollig, Benedikt. author.
ISBN:
9783540329237
Personal Author:
Physical Description:
IX, 181 p. online resource.
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.
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/3-540-32923-4