From SOS Specifications to Structured Coalgebras: How to Make a Bisimulation a Congruence (1999)

by A Corradini, R Heckel, U Montanari
Venue:Proc. CMCS 1999, Elsevier ENTCS 19