A coalgebraic theory of reactive systems (0)

by Filippo Bonchi, Ugo Montanari