Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor. Quantum Process Calculus for Linear Optical Quantum Computing. In Gerhard W. Dueck, D. Michael Miller, editors, Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Volume 7948 of Lecture Notes in Computer Science, pages 234-246, Springer, 2013. [doi]
Abstract is missing.