Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS |
scientific article |
Statements
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (English)
0 references
20 March 2009
0 references
Petri nets
0 references
process algebra
0 references
\(\pi \)-calculus
0 references
non-interleaving semantics
0 references
decidable properties
0 references
