Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras.

Vincenzo Ciancia

Browse the full CALCO paper archive.