Deriving bisimulation congruences: 2-categories vs. precategories (2003)

by Vladimiro Sassone, Paweł Sobociński
Venue:In Proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures (FOSSACS’03