Bisimulation from Open Maps (1994)

by André Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel, Glynn Winskel
Venue:Information and Computation