U.: Compositional SOS and beyond: a coalgebraic view of open systems (2002)

by A Corradini, R Heckel, Montanari
Venue:Theor. Comp. Sci