@misc{indiciae3982cb97bcad,
  title = {Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques},
  author = {Keri D'Angelo and Sebastian Gurke and Johanna Maria Kirss and Barbara König and Matina Najafi and Wojciech Różowski and Paul Wild},
  year = {2024},
  url = {https://arxiv.org/abs/2404.19632},
  note = {Source identifier: 2404.19632}
}