Weak bisimulation and open maps (extended abstract (1999)

by M P Fiore, G L Cattani, G Winskel
Venue:In LICS '99, Proceedings of the Fourteenth Annual IEEE Symposium on Logic in Computer Science