Book 2006

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Authors:

ISBN: 978-3-540-32922-0 (Print) 978-3-540-32923-7 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages I-IX

  2. No Access

    Chapter

    Pages 1-9

    Introduction

  3. No Access

    Chapter

    Pages 11-15

    Preliminaries

  4. No Access

    Chapter

    Pages 17-34

    Graphs, Logics, and Graph Acceptors

  5. No Access

    Chapter

    Pages 35-41

    Words and Finite Automata

  6. No Access

    Chapter

    Pages 43-75

    Dags and Asynchronous Cellular Automata

  7. No Access

    Chapter

    Pages 77-90

    Mazurkiewicz Traces and Asynchronous Automata

  8. No Access

    Chapter

    Pages 91-115

    Message Sequence Charts

  9. No Access

    Chapter

    Pages 117-150

    Communicating Finite-State Machines

  10. No Access

    Chapter

    Pages 151-164

    Beyond Implementability

  11. Back Matter

    Pages 165-181