@misc{indiciae4192f3a02cac,
  title = {Open Bisimulation for Quantum Processes},
  author = {Yuxin Deng and Yuan Feng},
  year = {2012},
  url = {https://arxiv.org/abs/1201.0416},
  note = {Source identifier: 1201.0416}
}