57 citations · 167 across the 19 of their papers we have counts for
1 paper · 1 filter
Vincenzo Ciancia
This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical m…