TY  - RPRT
TI  - Bisimulation for quantum processes
AU  - Yuan Feng
AU  - Runyao Duan
AU  - Mingsheng Ying
PY  - 2013
UR  - https://arxiv.org/abs/1007.2584
ID  - 1007.2584
ER  -