TY  - RPRT
TI  - Open Bisimulation for Quantum Processes
AU  - Yuxin Deng
AU  - Yuan Feng
PY  - 2012
UR  - https://arxiv.org/abs/1201.0416
ID  - 1201.0416
ER  -