Bisimulation from open maps (1994)

by A Joyal, M Nielsen, G Winsk
Venue:22 T. HEINDEL AND P. SOBOCIŃSKI