Up-To Techniques for Behavioural Metrics via Fibrations
Reference
Filippo Bonchi, Barbara König, and Daniela Petri san. Up-to techniques for behavioural metrics via fibrations. In Proc. of CONCUR '18, volume 118 of LIPIcs, pages 17:1–17:17. Schloss Dagstuhl – Leibniz Center for Informatics, 2018.
Suggested BibTeX entry:
@inproceedings{BKP18a,
author = {Filippo Bonchi and Barbara K{\"o}nig and Daniela Petri\c san},
booktitle = {Proc. of CONCUR '18},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
series = {{LIPIcs}},
title = {Up-To Techniques for Behavioural Metrics via Fibrations},
volume = {118},
year = {2018}
}
