
The paper presents a categorical framework for composing codensity bisimulations, which generalize various notions of behavioral equivalence, in a way that preserves the equivalence under algebraic operations on state-based systems.


coremsg

composing-codensity-bisimulations-a-categorical-approach-to-preserving-behavioral-equivalence-under-algebraic-operations


Composing Codensity Bisimulations: A Categorical Approach to Preserving Behavioral Equivalence under Algebraic Operations
