Stem pseudometr$ (all stems)

3 papers:

QAPL-2008-ZhangZ #behaviour #pseudo

A Behavioural Pseudometric based on λ-Bisimilarity (JZ, ZZ), pp. 115–127.

FoSSaCS-2007-BreugelSW #approximate #behaviour #probability #pseudo

Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (FvB, BS, JW), pp. 123–137.

ICALP-2005-BreugelHMW #approach #behaviour #pseudo

An Accessible Approach to Behavioural Pseudometrics (FvB, CH, MM, JW), pp. 1018–1030.