Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
89.99 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10470382
Beschreibung
Introduction.- Transition Systems.- Petri Nets.- The Basic Calculus: SFM.- Adding Asynchronous Parallel Composition: CFM and BPP.- Adding Communication and Restriction: FNC.- Adding Multi-party Communication: FNM.- Adding Atomic Tests for Absence: NPL.- Generalizations and Conclusions.
Eigenschaften
Breite: | 156 |
Gewicht: | 486 g |
Höhe: | 236 |
Länge: | 19 |
Seiten: | 302 |
Sprachen: | Englisch |
Autor: | Roberto Gorrieri |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen