Formal Models of Communicating Systems
Publication year: 2006
: 978-3-540-32923-7
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.
: Computer Science, Asynchronous cellular automata, Communicating systems, Finite automata, Finite-state machines, Formal methods, Graphs, Logic, Mazurkiewicz traces, Message sequence charts, Software engineering, automata, automata theory, distributed systems, modeling
