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. Mathematical Structures in Computer Science, 2023. to appear.
Suggested BibTeX entry:
@article{BKP23,
author = {Filippo Bonchi and Barbara K{\"o}nig and Daniela Petri{\c s}an},
journal = {Mathematical Structures in Computer Science},
note = {to appear},
title = {Up-To Techniques for Behavioural Metrics via Fibrations},
year = {2023}
}
