Compositional State Space Reduction Using Untangled Actions (Q2866342)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compositional State Space Reduction Using Untangled Actions |
scientific article |
Statements
Compositional State Space Reduction Using Untangled Actions (English)
0 references
13 December 2013
0 references
untangled action
0 references
conflict-freedom
0 references
partial order reduction
0 references
process algebra
0 references
compositionality
0 references
determinism
0 references
partial confluence
0 references
