A coalgebraic view on decorated traces

Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A; (2016) A coalgebraic view on decorated traces. Mathematical Structures in Computer Science , 26 (7) pp. 1234-1268. 10.1017/S0960129514000449 .

http://ift.tt/2fn9aI0