Bisimulation and open maps. (1993)

by A Joyal, M Nielsen, G Winskel
Venue:In Logic in Computer Science, LICS’93.