1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…