Deriving bisimulation congruences using 2-categories (0)

by V Sassone, P Sobocinski
Venue:Nordic Journal of Computing