TY  - RPRT
TI  - Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus
AU  - Yuxing Deng
AU  - Alwen Tiu
PY  - 2012
UR  - https://arxiv.org/abs/1201.2258
ID  - 1201.2258
ER  -