@article{DBLP:journals/toplas/FengDY12, author = {Yuan Feng and Runyao Duan and Mingsheng Ying}, title = {Bisimulation for Quantum Processes}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {34}, number = {4}, year = {2012}, pages = {17}, ee = {http://doi.acm.org/10.1145/2400676.2400680}, bibsource = {DBLP, http://dblp.uni-trier.de} }