@misc{indiciae4642b89dc2be,
  title = {Verification of Linear Optical Quantum Computing using Quantum Process Calculus},
  author = {Sonja Franke-Arnold and Simon J. Gay and Ittoop Vergheese Puthoor},
  year = {2014},
  doi = {10.4204/eptcs.160.10},
  url = {https://arxiv.org/abs/1408.1460},
  note = {Source identifier: 1408.1460}
}