From SOS specifications to structured coalgebras: How to make bisimulation a congruence (1999)

by A Corradini, R Heckel, U Montanari
Venue:In Proceedings of CMCS’99, volume 19 of ENTCS