Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Monographs in Theoretical Computer Science. An EATCS Series,
|
| Subjects: |
Table of Contents:
- 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.