Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.

Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara Knig, Matina Najafi, Wojciech Rozowski, Paul Wild

Browse the full CONCUR paper archive.