Verification of Linear Optical Quantum Computing using Quantum Process Calculus - Franke-Arnold, Sonja (arXiv.org)