Coalgebraic Behavioral Metrics

Reference

Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Coalgebraic behavioral metrics, 2017. arXiv:1712.07511.

Suggested BibTeX entry:

@misc{BBKK17,
    author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"o}nig},
    note = {arXiv:1712.07511},
    title = {Coalgebraic Behavioral Metrics},
    year = {2017}
}

See arxiv.org ...Journal version