Profunctors, open maps and bisimulation

Gian Luca Cattani, Glynn Winskel. Profunctors, open maps and bisimulation. Mathematical Structures in Computer Science, 15(3):553-614, 2005. [doi]

Abstract

Abstract is missing.