Towards Trace Metrics via Functor Lifting
Reference
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Towards trace metrics via functor lifting. In Proc. of CALCO '15 (Algebra and Coalgebra in Computer Science), volume 35 of LIPIcs, pages 35–49. Schloss Dagstuhl – Leibniz Center for Informatics, 2015.
Suggested BibTeX entry:
@inproceedings{BBKK15a,
author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"o}nig},
booktitle = {Proc. of CALCO '15 (Algebra and Coalgebra in Computer Science)},
pages = {35--49},
publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
series = {{LIPIcs}},
title = {Towards Trace Metrics via Functor Lifting},
volume = {35},
year = {2015}
}
