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}
}



See drops.dagstuhl.de ...Extended version
© University of Duisburg-Essen, Theoretical Computer Science group