scientific article; zbMATH DE number 177532
From MaRDI portal
Publication:4037401
Recommendations
- An implementation of an efficient algorithm for bisimulation equivalence
- scientific article; zbMATH DE number 2020181
- Deciding bisimulation equivalences for a class of non-finite-state programs
- Deciding bisimulation equivalences for a class of non-finite-state programs
- On the proof method for bisimulation
- An efficient algorithm for computing bisimulation equivalence
- Tools and Algorithms for the Construction and Analysis of Systems
- On the bisimulation proof method
- Deriving bisimulation relations from path based equivalence checkers
Cited in
(13)- Equivalence checking 40 years after: a review of bisimulation tools
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems
- A game for linear-time-branching-time spectroscopy
- scientific article; zbMATH DE number 177261 (Why is no real title available?)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
- Generating diagnostic information for behavioral preorders
- scientific article; zbMATH DE number 7577583 (Why is no real title available?)
- Fixpoint Theory -- Upside Down
- Bisimulation and Hennessy-Milner logic for generalized synchronization trees
- Bisimulation for labelled Markov processes
- Process algebra and model checking
- Exploring probabilistic bisimulations. I
- Fixpoint theory -- upside down
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037401)