Behavioral Metrics via Functor Lifting
Reference
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Behavioral metrics via functor lifting. In Proc. of FSTTCS '14, volume 29 of LIPIcs. Schloss Dagstuhl – Leibniz Center for Informatics, 2014.
Suggested BibTeX entry:
@inproceedings{BBKK14,
author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"o}nig},
booktitle = {Proc. of FSTTCS~'14},
publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
series = {{LIPIcs}},
title = {Behavioral Metrics via Functor Lifting},
volume = {29},
year = {2014}
}
