Quantum process calculus for linear optical quantum computing

DOI10.1007/978-3-642-38986-3_19MaRDI QIDQ2868454zbMATH OpenOpenAlexFDO

Authors 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 methodslinear opticsquantum computingquantum process calculussemantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7362463
• Linear optics quantum process tomography
• scientific article; zbMATH DE number 1406145
• Probabilistic quantum computation and linear optical realizations
• Process characterization of experimental photonic one-way quantum computing

Cited in

(9)

• A modeling and verification framework for optical quantum circuits
• Equational reasoning about quantum protocols
• Amplitudes for multiphoton quantum processes in linear optics
• On the formal analysis of Gaussian optical systems in HOL
• Process characterization of experimental photonic one-way quantum computing
• Linear optics quantum process tomography
• scientific article; zbMATH DE number 7362463 (Why is no real title available?)
• Relative multiplexing for minimising switching in linear-optical quantum computing
• Encodability criteria for quantum based systems

This page was built for publication: Quantum process calculus for linear optical quantum computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2868454)