Book Details

Formal Models of Communicating Systems

: 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