Bisimulation from open maps (1996)

by A Joyal, M Nielsen, G Winskel
Venue:Information and Computation