Reactive Systems, (Semi-)Saturated Semantics and Coalgebras on Presheaves (2009)

by Filippo Bonchi, Ugo Montanari
Citations:1 - 0 self