Probabilistic Relational Reasoning via Metrics.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Browse the full LICS paper archive.