Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

  • Benedikt Bollig

Table of contents

About this book

Keywords

Asynchronous cellular automata Communicating systems Finite automata Finite-state machines Formal methods Graphs Logic Mazurkiewicz traces Message sequence charts Software engineering automata automata theory distributed systems modeling

Authors and affiliations

  • Benedikt Bollig
    • 1
  1. 1.Laboratoire Spécification et VérificationCNRS UMR 8643 & ENS de CachanCachan CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-32923-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-32922-0
  • Online ISBN 978-3-540-32923-7
  • About this book