Quantum Process Calculus for Linear Optical Quantum Computing

DOI10.1007/978-3-642-38986-3_19zbMath1407.81063OpenAlexW88810503MaRDI QIDQ2868454

Sonja Franke-Arnold, Ittoop Vergheese Puthoor, Simon J. Gay

Publication date: 17 December 2013

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38986-3_19

zbMATH Keywords

formal methodssemanticsquantum computinglinear opticsquantum process calculus

Mathematics Subject Classification ID

Quantum computation (81P68) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

On the formal analysis of Gaussian optical systems in HOL ⋮ A modeling and verification framework for optical quantum circuits ⋮ Equational Reasoning About Quantum Protocols

This page was built for publication: Quantum Process Calculus for Linear Optical Quantum Computing