TY  - RPRT
TI  - QRB-Domains and the Probabilistic Powerdomain
AU  - Jean Goubault-Larrecq
PY  - 2012
DO  - 10.2168/lmcs-8(1:14)2012
UR  - https://arxiv.org/abs/1202.2287
ID  - 1202.2287
ER  -