DMCA

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

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