@misc{indiciaebc5ee09ba817,
  title = {Analysis of a Quantum Error Correcting Code using Quantum Process Calculus},
  author = {Timothy A. S. Davidson and Simon J. Gay and Rajagopal Nagarajan and Ittoop Vergheese Puthoor},
  year = {2012},
  doi = {10.4204/eptcs.95.7},
  url = {https://arxiv.org/abs/1210.0614},
  note = {Source identifier: 1210.0614}
}