Up-To Techniques for Behavioural Metrics via Fibrations.

Filippo Bonchi, Barbara Knig, Daniela Petrisan

Browse the full CONCUR paper archive.