Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Inbunden, Engelska, 2006

Av Benedikt Bollig

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

729 kr

Skickas inom 10-15 vardagar

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' 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.

Produktinformation

Utgivningsdatum2006-07-24
Mått155 x 235 x 17 mm
Vikt459 g
FormatInbunden
SpråkEngelska
Antal sidor181
Upplaga2006
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540329220

Tillhör följande kategorier

From the reviews:"The book deals with one essential problem of communication systems, namely formal description of protocols and systems and verification of correctness of their operation. … The book, due to clear definitions, well proved theorems and a number of illustrative examples, can be advised as a valuable source of knowledge for graduate mathematics and computer science students." (Jozef Wozniak, Zentralblatt MATH, Vol. 1107 (9), 2007)