TY  - RPRT
TI  - An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing
AU  - Yong Wang
PY  - 2013
UR  - https://arxiv.org/abs/1311.2960
ID  - 1311.2960
ER  -