Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva. Final Semantics for Decorated Traces. Electronic Notes in Theoretical Computer Science, 286:73-86, 2012. [doi]
@article{BonchiBCRS12,
title = {Final Semantics for Decorated Traces},
author = {Filippo Bonchi and Marcello M. Bonsangue and Georgiana Caltais and Jan J. M. M. Rutten and Alexandra Silva},
year = {2012},
doi = {10.1016/j.entcs.2012.08.006},
url = {http://dx.doi.org/10.1016/j.entcs.2012.08.006},
researchr = {https://researchr.org/publication/BonchiBCRS12},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {73-86},
}