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

by Andrea Corradini, R Heckel, Ugo Montanari
Venue:Theoretical Computer Science