Similar Items: Conditional Bisimilarity for Reactive Systems
- On-the-Fly Computation of Bisimilarity Distances
- Bisimilarity in fresh-register automata
- Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
- A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
- On Bisimilarity for Quasi-discrete Closure Spaces
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity