Weak Bisimulation and Open Maps.

Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel

Browse the full LICS paper archive.