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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

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

• 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
• 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?)
• Model checking a cache coherence protocol of a Java DSM implementation
• Parallelizing the \(\text{Mur}\varphi\) verifier

Cited in

(14)

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

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)