P.: Deriving bisimulation congruences using 2-categories (0)

by V Sassone, Sobocinski
Venue:Nord. J. Comput