Formal Models of Communicating Systems
Languages, Automata, and Monadic Second-Order Logic
Buch in deiner Nähe kaufen
Beschreibung
Precise characterizations of automata models in terms of descriptive logic formalisms Software engineers can use fragments of monadic second-order logic to specify desired system behaviors First monograph dealing with the relationship between automata and monadic second-order logic Focuses on classes of automata that describe the concurrent behavior of distributed systems Includes supplementary material: sn.pub/extras
Autor*in
Benedikt Bollig
Themen in »Formal Models of Communicating Systems«
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 algorithm analysis and problem complexity
Stimmen zu »Formal Models of Communicating Systems«
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)
()