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

Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss +4

Behavioural distances of transition systems modelled via coalgebras for endofunctors generalize traditional notions of behavioural equivalence to a quantitative setting, in which s…