Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

von Benedikt Bollig

192 Seiten, Hardcover

Kurzbeschreibung des Verlags

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.

• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540329220
• Sprache: Englisch
• Erscheinungsdatum: 24.07.2006
• Größe: 241 x 160 mm
• Verlag: Springer