Toward a Quantum Process Algebra Export

@misc{citeulike:887333, abstract = {Quantum computations operate in the quantum world. For their results to be useful in any way, there is an intrinsic necessity of cooperation and communication controlled by the classical world. As a consequence, full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they communicate and cooperate. This paper aims at defining a high level language allowing the description of classical and quantum programming, and their cooperation. Since process algebras provide a framework to model cooperating computations and have well defined semantics, they have been chosen as a basis for this language. Starting with a classical process algebra, this paper explains how to transform it for including quantum computation. The result is a quantum process algebra with its operational semantics, which can be used to fully describe quantum algorithms in their classical context.}, archivePrefix = {arXiv}, author = {Jorrand, Philippe and Lalire, Marie}, citeulike-article-id = {887333}, citeulike-linkout-0 = {http://arxiv.org/abs/quant-ph/0312067}, citeulike-linkout-1 = {http://arxiv.org/pdf/quant-ph/0312067}, day = {8}, eprint = {quant-ph/0312067}, keywords = {algebra, algebraic-process-theory, discreteness, linear-logic, process, process-algebra, process-theory, qait, quantum-algorithm, quantum-process-algebra, quantum-process-theory}, month = {Dec}, posted-at = {2006-10-06 15:10:40}, priority = {2}, title = {Toward a Quantum Process Algebra}, url = {http://arxiv.org/abs/quant-ph/0312067}, year = {2003} }

TY - ELEC ID - citeulike:887333 L3 - citeulike-article-id:887333 N2 - Quantum computations operate in the quantum world. For their results to be useful in any way, there is an intrinsic necessity of cooperation and communication controlled by the classical world. As a consequence, full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they communicate and cooperate. This paper aims at defining a high level language allowing the description of classical and quantum programming, and their cooperation. Since process algebras provide a framework to model cooperating computations and have well defined semantics, they have been chosen as a basis for this language. Starting with a classical process algebra, this paper explains how to transform it for including quantum computation. The result is a quantum process algebra with its operational semantics, which can be used to fully describe quantum algorithms in their classical context. TI - Toward a Quantum Process Algebra KW - algebra KW - algebraic-process-theory KW - discreteness KW - linear-logic KW - process KW - process-algebra KW - process-theory KW - qait KW - quantum-algorithm KW - quantum-process-algebra KW - quantum-process-theory AU - Jorrand, Philippe AU - Lalire, Marie PY - 2003/Dec/08/ UR - http://arxiv.org/abs/quant-ph/0312067 ER -