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

Cached

Download Links

by Vladimiro Sassone , Pawe L Sobocinski
Venue:In FOSSACS ’03, volume 2620 of LNCS
Citations:13 - 1 self