Distributed branching bisimulation reduction of state spaces

MaRDI QIDQ2845494zbMATH OpenFDO

Authors Stefan Blom, Simona Orzan

Publication date 30 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105800994

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A distributed algorithm for strong bisimulation reduction of state spaces
• Distributed Markovian bisimulation reduction aimed at CSL model checking
• Distributed bisimulations
• Distributed partial order reduction of state spaces
• scientific article; zbMATH DE number 2188504
• New Bisimulation Semantics for Distributed Systems
• scientific article; zbMATH DE number 1696467
• On Bisimulation Proofs for the Analysis of Distributed Abstract Machines

Cites work

• scientific article; zbMATH DE number 1670779 (Why is no real title available?)
• scientific article; zbMATH DE number 1705169 (Why is no real title available?)
• scientific article; zbMATH DE number 177845 (Why is no real title available?)
• scientific article; zbMATH DE number 1746649 (Why is no real title available?)
• scientific article; zbMATH DE number 1744967 (Why is no real title available?)
• A distributed algorithm for strong bisimulation reduction of state spaces
• Analysis of a distributed system for lifting trucks.
• Branching time and abstraction in bisimulation semantics
• Characterizing finite Kripke structures in propositional temporal logic
• Depth-First Search and Linear Graph Algorithms
• Model checking a cache coherence protocol of a Java DSM implementation
• Parallelizing the \(\text{Mur}\varphi\) verifier

Cited in

(12)

• An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
• An \(O(m \log n)\) algorithm for branching bisimilarity on labelled transition systems
• Compositional verification of priority systems using sharp bisimulation
• Model checking a cache coherence protocol of a Java DSM implementation
• From generic partition refinement to weighted tree automata minimization
• Equivalence checking 40 years after: a review of bisimulation tools
• A distributed algorithm for strong bisimulation reduction of state spaces
• Distributed Markovian bisimulation reduction aimed at CSL model checking
• A state space distribution policy based on abstract interpretation
• Distributed coalgebraic partition refinement
• Generic partition refinement and weighted tree automata
• On the Minimisation of Acyclic Models

Describes a project that uses

Uses Software

• XTL
• CADP

This page was built for publication: Distributed branching bisimulation reduction of state spaces

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