@misc{indiciae485e2b17ca18,
  title = {Symbolic bisimulation for quantum processes},
  author = {Yuan Feng and Yuxin Deng and Mingsheng Ying},
  year = {2012},
  url = {https://arxiv.org/abs/1202.3484},
  note = {Source identifier: 1202.3484}
}