TY  - RPRT
TI  - Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics
AU  - Georgiana Caltais
PY  - 2015
UR  - https://arxiv.org/abs/1502.02910
ID  - 1502.02910
ER  -