Behavioral Metrics via Functor Lifting

Reference

Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Behavioral metrics via functor lifting, 2014. arXiv:1410.3385.

Suggested BibTeX entry:

@misc{BBKK14a,
    author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"o}nig},
    note = {arXiv:1410.3385},
    title = {Behavioral Metrics via Functor Lifting},
    year = {2014}
}

See arxiv.org ...Conference version