Deriving bisimulation congruences: a 2categorical approach (2002)

by V Sassone, P Sobocinski
Venue:Electronic Notes in Theoretical Computer Science, Vol