Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Distributed semantics for the -calculus based on Petri nets with inhibitor ARCS |
scientific article; zbMATH DE number 5530604
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS |
scientific article; zbMATH DE number 5530604 |
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
0.91046494
0 references
0.89851445
0 references
0.8948779
0 references
0.89289075
0 references
0.8893684
0 references
0 references
0.8766361
0 references
0.87419605
0 references
