Compositional state space reduction using untangled actions

DOI10.1016/J.ENTCS.2006.10.052zbMATH Open1277.68213OpenAlexW2128352233MaRDI QIDQ2866342FDOQ2866342

Authors: Xu Wang, Marta Kwiatkowska 

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

Recommendations

• Untanglings: a novel approach to analyzing concurrent systems
• Refined Interfaces for Compositional Verification
• scientific article; zbMATH DE number 1956603
• Optimistic synchronization-based state-space reduction
• State space reduction for dynamic process creation

zbMATH Keywords

determinismprocess algebracompositionalitypartial order reductionconflict-freedompartial confluenceuntangled action

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Confluence thanks to extensional determinism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer Aided Verification
• Confluence for process verification
• Partial-order reduction in symbolic state-space exploration
• The weakest deadlock-preserving congruence
• Title not available (Why is that?)
• Title not available (Why is that?)
• More stubborn set methods for process algebras
• Partial-order reduction in the weak modal mu-calculus
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Rigorous development of component-based systems using component metadata and patterns
• Untanglings: a novel approach to analyzing concurrent systems
• Compositional generation of home states in free choice nets

Uses Software

• FDR2

This page was built for publication: Compositional state space reduction using untangled actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2866342)