Similar Items: All Linear-Time Congruences for Familiar Operators
- On tractability and congruence distributivity
- Congruence Closure Modulo Groups
- Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
- Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- A Distribution Law for CCS and a New Congruence Result for the pi-calculus