TY  - RPRT
TI  - Coalgebraic trace semantics via forgetful logics
AU  - Bartek Klin
AU  - Jurriaan Rot
PY  - 2016
DO  - 10.2168/lmcs-12(4:10)2016
UR  - https://arxiv.org/abs/1611.05183
ID  - 1611.05183
ER  -