Distributed branching bisimulation reduction of state spaces
From MaRDI portal
Publication:2845494
zbMATH Open1271.68133MaRDI QIDQ2845494FDOQ2845494
Authors: Stefan Blom, Simona Orzan 
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800994
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
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)
Cites Work
- Characterizing finite Kripke structures in propositional temporal logic
- Depth-First Search and Linear Graph Algorithms
- Branching time and abstraction in bisimulation semantics
- Parallelizing the \(\text{Mur}\varphi\) verifier
- Title not available (Why is that?)
- A distributed algorithm for strong bisimulation reduction of state spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Analysis of a distributed system for lifting trucks.
- Model checking a cache coherence protocol of a Java DSM implementation
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (12)
- Compositional verification of priority systems using sharp bisimulation
- Equivalence checking 40 years after: a review of bisimulation tools
- Model checking a cache coherence protocol of a Java DSM implementation
- From generic partition refinement to weighted tree automata minimization
- 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
- 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
Uses Software
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)
