Bisimulation from Open Maps (1996)

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