Login / Signup

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

Keri D'AngeloSebastian GurkeJohanna Maria KirssBarbara KönigMatina NajafiWojciech RozowskiPaul Wild
Published in: CoRR (2024)
Keyphrases