Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
by
Bollig, Benedikt. author.
Title
:
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author
:
Bollig, Benedikt. author.
ISBN
:
9783540329237
Personal Author
:
Bollig, Benedikt. author.
Physical Description
:
IX, 181 p. online resource.
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.
Subject Term
:
Computer science.
Software engineering.
Information theory.
Computer software.
Information systems.
Computation by Abstract Devices.
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 510791-1001 | QA75.5 -76.95 | Online Springer |