Compositional state space reduction using untangled actions

DOI10.1016/J.ENTCS.2006.10.052MaRDI QIDQ2866342zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 5286871 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 1361140 (Why is no real title available?)
• scientific article; zbMATH DE number 1059330 (Why is no real title available?)
• scientific article; zbMATH DE number 1759425 (Why is no real title available?)
• scientific article; zbMATH DE number 1905121 (Why is no real title available?)
• Computer Aided Verification
• Confluence for process verification
• Confluence thanks to extensional determinism
• More stubborn set methods for process algebras
• Partial-order reduction in symbolic state-space exploration
• Partial-order reduction in the weak modal mu-calculus
• The weakest deadlock-preserving congruence

Cited in

(4)

• scientific article; zbMATH DE number 4092735 (Why is no real title available?)
• 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

Describes a project that uses

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)