Login

Bollig, Benedikt

Formal Models of Communicating Systems

Bollig, Benedikt - Formal Models of Communicating Systems, ebook

68,20€

Ebook, PDF with Adobe DRM
ISBN: 9783540329237
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

Keywords: COMPUTERS / Computer Science COM014000

Author(s)
Publisher
Springer
Publication year
2006
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783540329237

Similar titles