Advertisement

© 2006

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

  • 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

Book
  • 3.4k Downloads

Table of contents

About this book

Keywords

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

Authors and affiliations

  1. 1.Laboratoire Spécification et VérificationCNRS UMR 8643 & ENS de CachanCachan CedexFrance

Bibliographic information

Industry Sectors
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering
Finance, Business & Banking
Electronics

Reviews

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)