Amazon cover image
Image from Amazon.com

Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.

By: Contributor(s): Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: IX, 181 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540329237
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 004.0151 23
LOC classification:
  • QA75.5-76.95
Online resources:
Contents:
Preliminaries -- Graphs, Logics, and Graph Acceptors -- Words and Finite Automata -- Dags and Asynchronous Cellular Automata -- Mazurkiewicz Traces and Asynchronous Automata -- Message Sequence Charts -- Communicating Finite-State Machines -- Beyond Implementability.
In: Springer eBooks
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Preliminaries -- Graphs, Logics, and Graph Acceptors -- Words and Finite Automata -- Dags and Asynchronous Cellular Automata -- Mazurkiewicz Traces and Asynchronous Automata -- Message Sequence Charts -- Communicating Finite-State Machines -- Beyond Implementability.

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu