Advertisement

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

  • Benedikt Bollig
Book
  • 3.1k Downloads

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

Industry Sectors
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering