Final Semantics for Decorated Traces

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]

Abstract

Abstract is missing.