Bisimulation from open maps. Report Series RS-94-7 (1994)

by A Joyal, M Nielsen, G Winskel
Venue:BRICS, University of Aarhus