Bisimulation from open maps (1996)

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