TY  - RPRT
TI  - Interaction and observation: categorical semantics of reactive systems trough dialgebras
AU  - Vincenzo Ciancia
PY  - 2013
UR  - https://arxiv.org/abs/1209.5903
ID  - 1209.5903
ER  -