An Operational Understanding of Bisimulation from Open Maps

Glynn Winskel. An Operational Understanding of Bisimulation from Open Maps. Electronic Notes in Theoretical Computer Science, 10:50, 1997. [doi]

Abstract

Abstract is missing.