Compositional SOS and beyond: a coalgebraic view of open systems (0)

by A Corradini, R Heckel, U Montanari
Venue:Theoretical Computer Science