TY  - RPRT
TI  - Modal Characterisations of Behavioural Pseudometrics
AU  - Yuxin Deng
AU  - Wenjie Du
AU  - Daniel Gebler
PY  - 2015
UR  - https://arxiv.org/abs/1509.03391
ID  - 1509.03391
ER  -