Authors:
- 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
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
Keywords
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)
Authors and Affiliations
-
Laboratoire Spécification et Vérification, CNRS UMR 8643 & ENS de Cachan, Cachan Cedex, France
Benedikt Bollig
Bibliographic Information
Book Title: Formal Models of Communicating Systems
Book Subtitle: Languages, Automata, and Monadic Second-Order Logic
Authors: Benedikt Bollig
DOI: https://doi.org/10.1007/3-540-32923-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2006
Hardcover ISBN: 978-3-540-32922-0Published: 24 July 2006
Softcover ISBN: 978-3-642-06947-5Published: 14 October 2010
eBook ISBN: 978-3-540-32923-7Published: 08 September 2006
Edition Number: 1
Number of Pages: IX, 181
Topics: Theory of Computation, Computation by Abstract Devices, Software Engineering, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Information Systems and Communication Service