TY  - RPRT
TI  - Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
AU  - Keri D'Angelo
AU  - Sebastian Gurke
AU  - Johanna Maria Kirss
AU  - Barbara König
AU  - Matina Najafi
AU  - Wojciech Różowski
AU  - Paul Wild
PY  - 2024
UR  - https://arxiv.org/abs/2404.19632
ID  - 2404.19632
ER  -