Contextual Behavioural Metrics.

Ugo Dal Lago, Maurizio Murgia

Browse the full CONCUR paper archive.