Compositional State Space Reduction Using Untangled Actions
From MaRDI portal
Publication:2866342
DOI10.1016/j.entcs.2006.10.052zbMath1277.68213OpenAlexW2128352233MaRDI QIDQ2866342
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.052
determinismprocess algebracompositionalitypartial order reductionconflict-freedompartial confluenceuntangled action
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Confluence for process verification
- The weakest deadlock-preserving congruence
- More stubborn set methods for process algebras
- Confluence Thanks to Extensional Determinism
- Computer Aided Verification
- Partial-order reduction in symbolic state-space exploration
- Partial-order reduction in the weak modal mu-calculus
This page was built for publication: Compositional State Space Reduction Using Untangled Actions