Bisimulation from Open Maps (1994)

by André Joyal, Mogens Nielsen, Glynn Winskel
Venue:INFORMATION AND COMPUTATION