Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=304562
Copy and paste this citation
GIAN LUCA CATTANI
and GLYNN WINSKEL
(2005).
Profunctors, open maps and bisimulation. Mathematical Structures in Computer Science, 15
,
pp 553-614
doi:10.1017/S0960129505004718