A categorical axiomatics for bisimulation (1998)

by Gian Luca Cattani, Andrew John Power, Glynn Winskel
Venue:In Proceedings of the 9th International Conference on Concurrency Theory, CONCUR ’98, volume 1466 of LNCS