Toward a Quantum Process Algebra

Details Toward a Quantum Process Algebra Toward a Quantum Process Algebra

2003-12-08

arxiv.org/abs/quant-ph/0312067v1

Physics

Quantum Physics

20 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Toward a Quantum Process Algebra does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Toward a Quantum Process Algebra, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Toward a Quantum Process Algebra will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-252900