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)
23.39 x 15.6 x 1.27

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Aims to ship in 7 to 10 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 $79.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

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 Computer Science

AI Human Fusion

A non-techy human-first approach to AI for busy leaders

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The Shortest History of AI

Artificial Intelligence All-in-One For Dummies

Empire of AI

Inside the reckless race for total domination

Co-Intelligence

Living and Working with AI

Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow 3e

Concepts, Tools, and Techniques to Build Intelligent Systems

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

AI Engineering

Building Applications with Foundation Models

Feature Engineering for Machine Learning

Principles and Techniques for Data Scientists

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Sustainable Electronics

The Future Ahead

Clean Code

A Handbook of Agile Software Craftsmanship

Finite Element Simulations with ANSYS Workbench 2024

Theory, Applications, Case Studies

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Data-Driven Global Optimization Methods and Applications

Design Thinking

Innovative Solutions for a Better World

A Compendium of Responsible Artificial Intelligence

Sea of Thieves

The Art of Piracy

The Little Book of Data

Understanding the Powerful Analytics that Drive AI, Make or Break Careers, and Could Just End Up Saving the World

Python All-in-One For Dummies

3rd Edition

Terraform - Up and Running

Writing Infrastructure as Code

Graph Transformation

18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

This product is categorised by