Deriving Bisimulation Congruences: A 2-Categorical Approach (2002)

by V Sassone, P Sobociński
Venue:Proc. of the 9th Int. Wksp. on Expressiveness in Concurrency (EXPRESS’02), volume 68 of Electronic Notes in Theoretical Computer Science