A coalgebraic view on decorated traces

Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva 0001. A coalgebraic view on decorated traces. Mathematical Structures in Computer Science, 26(7):1234-1268, 2016. [doi]

Abstract

Abstract is missing.