A probabilistic branching bisimulation for quantum processes

Details A probabilistic branching bisimulation for quantum processes A probabilistic branching bisimulation for quantum processes

2005-08-16

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

Physics

Quantum Physics

25 pages, 3 figures, submitted to a special issue of MSCS

Scientific paper

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.Moreover, to model concurrent and distributed quantum computations, as well as quantum communication protocols, quantum to quantum communications which move qubits physically from one place to another must also be taken into account. Inspired by classical process algebras, which provide a framework for modeling cooperating computations, a process algebraic notation is defined, which provides a homogeneous style to formal descriptions of concurrent and distributed computations comprising both quantum and classical parts.Based upon an operational semantics which makes sure that quantum objects, operations and communications operate according to the postulates of quantum mechanics, a probabilistic branching bisimulation is defined among processes considered as having the same behavior.

Affiliated with

Also associated with

No associations

Rating

A probabilistic branching bisimulation for quantum processes 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 A probabilistic branching bisimulation for quantum processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A probabilistic branching bisimulation for quantum processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-131344