“…However, equality, being a true/false statement, is very brittle and unable to tell when two processes are, in some sense, close. Thus, pseudometrics were developed in order to capture such a notion [DGJP99,DGJP04,vBW01b,vBW01a]. One important property of these pseudometrics is that the kernel precisely corresponds to bisimulation.…”