Quantum Process Calculus for Linear Optical Quantum Computing. - Sonja Franke-Arnold; Simon J. Gay; Ittoop Vergheese Puthoor (RC, 2013)

Verification of Linear Optical Quantum Computing using Quantum Process Calculus. - Sonja Franke-Arnold; Simon J. Gay; Ittoop Vergheese Puthoor (EXPRESS/SOS, 2014)