Contextual Behavioural Metrics (Extended Version)

Ugo Dal Lago, Maurizio Murgia

We introduce contextual behavioural metrics (CBMs) as a novel way of measuring the discrepancy in behaviour between processes, taking into account both quantitative aspects and con…