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



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