Similar Items: On-the-Fly Computation of Bisimilarity Distances
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
- Conditional Bisimilarity for Reactive Systems
- Bisimilarity in fresh-register automata
- On Bisimilarity for Quasi-discrete Closure Spaces
- Neighbourhood Structures: Bisimilarity and Basic Model Theory