Similar Items: Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
- Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
- On tractability and congruence distributivity
- Congruence Closure Modulo Groups