Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

By: Benedikt Bollig

Write A Review

Hardcover | 24 July 2006

At a Glance

Hardcover
192 Pages

Dimensions(cm)
22.86 x 15.88 x 0.64

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Industry 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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Mathematical Theory of Computation Computer Architecture & Logic Design Parallel Processing Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic Algorithms & Data Structures

Computer Hardware Network Hardware Computer Networking & Communications

Other Editions and Formats

Paperback

Published: 14th October 2010

View Product

Introduction	p. 1
Formal Methods	p. 1
Partial Orders and Graphs	p. 3
High-Level Specifications	p. 5
Towards an Implementation	p. 6
An Overview of the Book	p. 7
Preliminaries	p. 11
Words and Partial Orders	p. 11
Monoids and Languages	p. 12
Turing Machines and the Halting Problem	p. 14
Bibliographic Notes	p. 15
Graphs, Logics, and Graph Acceptors	p. 17
Graphs	p. 17
Monadic Second-Order Logic over Graphs	p. 18
Hanf's Theorem	p. 23
Graph Acceptors	p. 27
Directed Acyclic Graphs	p. 30
Pictures and Grids	p. 31
Bibliographic Notes	p. 34
Words and Finite Automata	p. 35
Words	p. 35
Finite Automata	p. 36
Summary	p. 40
Bibliographic Notes	p. 41
Dags and Asynchronous Cellular Automata	p. 43
([Characters not reproducible], C)-Dags	p. 43
The Operational Behavior of ([Characters not reproducible], C)-Dags	p. 50
Asynchronous Cellular Automata with Types	p. 52
ACATs vs. ACAs	p. 56
The Expressive Equivalence of ACATs and EMSO Logic	p. 60
Summary	p. 74
Bibliographic Notes	p. 75
Mazurkiewicz Traces and Asynchronous Automata	p. 77
Mazurkiewicz Traces	p. 77
Trace Languages	p. 78
Asynchronous Automata	p. 80
Asynchronous Automata vs. ACAs and EMSO Logic	p. 84
Product Automata	p. 87
Summary	p. 89
Bibliographic Notes	p. 90
Message Sequence Charts	p. 91
Message Sequence Charts	p. 91
Universal and Existential Bounds	p. 95
High-Level Message Sequence Charts	p. 96
Message Contents and Non-Fifo Behavior	p. 103
Live Sequence Charts	p. 105
Regular MSC Languages	p. 107
(E)MSO-Definable MSC Languages	p. 107
Product MSC Languages	p. 109
Relationships to Mazurkiewicz Traces	p. 110
Bibliographic Notes	p. 114
Communicating Finite-State Machines	p. 117
Communicating (Finite-State) Machines	p. 117
Channel-Bounded and Deadlock-Free CMs	p. 122
Undecidability Results	p. 124
Lossy Channel Systems	p. 128
Non-Fifo Channel Systems	p. 130
CMs vs. Product MSC Languages	p. 131
CFMs vs. Regular MSC Languages	p. 132
CFMs vs. ACAs and EMSO Logic	p. 133
CFMs vs. Graph Acceptors	p. 138
CFMs vs. EMSO-Definable Product Languages	p. 144
The Complete Hierarchy	p. 145
Bibliographic Notes	p. 149
Beyond Implementability	p. 151
EMSO vs. MSO in the Bounded Setting	p. 151
EMSO vs. MSO in the Unbounded Setting	p. 153
Determinism vs. Nondeterminism	p. 158
CFMs vs. Recognizability	p. 159
CFMs vs. Rational MSC Languages	p. 160
Summary	p. 163
Bibliographic Notes	p. 164
References	p. 165
Symbols and Notation	p. 173
Index	p. 179
Table of Contents provided by Ingram. All Rights Reserved.

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Network Hardware

Security Standardisation Research

10th International Conference, SSR 2025, Passau, Germany, December 4â"5, 2025, Proceedings

Machine Learning, Optimization, and Data Science

11th International Conference, LOD 2025, Castiglione della Pescaia, Italy, September 21â"24, 2025, Revised Selected Papers, Part II

Applied Embedded Electronics

Design Essentials for Robust Systems

Database Systems for Advanced Applications

30th International Conference, DASFAA 2025, Singapore, Singapore, May 26â"29, 2025, Proceedings, Part IV

Smart Antenna Systems for 5G, Radar, Navigation and Satellite Technologies

Integrated Security and Safety of Intelligent Computing Networks

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

25th International Conference, NEW2AN 2025, and 18th Conference, ruSMART 2025, Abu Dhabi, United Arab Emirates, November 10-12, 2025, Proceedings, Part I

Model and Data Engineering

14th International Conference, MEDI 2025, Cairo, Egypt, November 2-4, 2025, Proceedings

Attacks and Defenses for the Internet-of-Things

8th International Conference, ADIoT 2025, Changzhou, China, November 14â"16, 2025, Proceedings

Information Management and Big Data

12th Annual International Conference, SIMBig 2025, Lima, Peru, October 29â"31, 2025, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

25th International Conference, NEW2AN 2025, and 18th Conference, ruSMART 2025, Abu Dhabi, United Arab Emirates, November 10-12, 2025, Proceedings, Part II

Large-Scale Scientific Computations

15th International Conference, LSSC 2025, Sozopol, Bulgaria, June 16-20, 2025, Revised Selected Papers

Machine Learning, Optimization, and Data Science

11th International Conference, LOD 2025, Castiglione della Pescaia, Italy, September 21-24, 2025, Revised Selected Papers, Part I

Machine Learning for Networking

8th International Conference, MLN 2025, Paris, France, December 2â"4, 2025, Revised Selected Papers

Computational Intelligence in Communications and Business Analytics

7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part III

New IPv6 Transition Technology

IPv6-Only, IPv6-Mostly and IPv4 as a Service

Semantic Communications

Textbooks in Telecommunication Engineering

Computational Intelligence in Communications and Business Analytics

7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part II

PRICAI 2025: Trends in Artificial Intelligence

22nd Pacific Rim International Conference on Artificial Intelligence, PRICAI 2025, Wellington, New Zealand, November 17â"21, 2025, Proceedings, Part V

Web and Internet Economics

21st International Conference, WINE 2025, New Brunswick, NJ, USA, December 8-11, 2025, Proceedings

Emerging Technologies for Developing Countries

8th EAI International Conference, AFRICATEK 2025, Tunis, Tunisia, June 11â"13, 2025, Proceedings, Part II

Frontier Computing: Vol 1

Theory, Technologies and Applications (FC 2025)

Social Robotics + BioMed

17th International Conference on Social Robotics + BioMed, ICSR + BioMed 2025, Xi'an, China, September 26-28, Proceedings

Low-latency Communication

Theory and Application

This product is categorised by