Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

2006 | Book

Introduction Read chapter Read first chapter

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Author: Benedikt Bollig

Publisher: Springer Berlin Heidelberg

Part of: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Login to get access
insite
SEARCH

Table of Contents

Frontmatter
1. Introduction
2. Preliminaries
3. Graphs, Logics, and Graph Acceptors
4. Words and Finite Automata
5. Dags and Asynchronous Cellular Automata
6. Mazurkiewicz Traces and Asynchronous Automata
7. Message Sequence Charts
8. Communicating Finite-State Machines
9. Beyond Implementability
Backmatter
Metadata
Title
Formal Models of Communicating Systems
Author
Benedikt Bollig
Copyright Year
2006
Publisher
Springer Berlin Heidelberg
Electronic ISBN
978-3-540-32923-7
Print ISBN
978-3-540-32922-0
DOI
https://doi.org/10.1007/3-540-32923-4

Premium Partner

    Image Credits