Up-To Techniques for Behavioural Metrics via Fibrations

Reference

F. Bonchi, B. König, and D. Petri san. Up-to techniques for behavioural metrics via fibrations, 2018. arXiv:1806.11064.

Suggested BibTeX entry:

@misc{BKP18b,
    author = {F. Bonchi and B. K{\"o}nig and D. Petri\c san},
    note = {arXiv:1806.11064},
    title = {Up-To Techniques for Behavioural Metrics via Fibrations},
    year = {2018}
}

See arxiv.org ...Conference version