Bollig, Benedikt
Formal Models of Communicating Systems
Table of contents
1. Introduction
2. Preliminaries
3. Graphs, Logics, and Graph Acceptors
4. Words and Finite Automata
5. Dags and Asynchronous Cellular Automata
6. Mazurkiewicz Traces and Asynchronous Automata
7. Message Sequence Charts
8. Communicating Finite-State Machines
9. Beyond Implementability
DRM-restrictions
Printing: not available
Clipboard copying: not available
Avainsanat: COMPUTERS / Computer Science COM014000
- Tekijä(t)
- Bollig, Benedikt
- Julkaisija
- Springer
- Julkaisuvuosi
- 2006
- Kieli
- en
- Painos
- 1
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783540329237