Sisäänkirjautuminen

Bollig, Benedikt

Formal Models of Communicating Systems

Bollig, Benedikt - Formal Models of Communicating Systems, e-kirja

60,45€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9783540329237
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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)
Julkaisija
Springer
Julkaisuvuosi
2006
Kieli
en
Painos
1
Kategoria
Tietotekniikka, tietoliikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9783540329237

Samankaltaisia e-kirjoja