Communicating Quantum Processes

Details Communicating Quantum Processes Communicating Quantum Processes

2004-09-09

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

Physics

Quantum Physics

A revised version of a paper presented at the Second International Workshop on Quantum Programming Languages, Turku, Finland,

Scientific paper

We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication primitives of the pi-calculus with primitives for measurement and transformation of quantum state; in particular, quantum bits (qubits) can be transmitted from process to process along communication channels. CQP has a static type system which classifies channels, distinguishes between quantum and classical data, and controls the use of quantum state. We formally define the syntax, operational semantics and type system of CQP, prove that the semantics preserves typing, and prove that typing guarantees that each qubit is owned by a unique process within a system. We illustrate CQP by defining models of several quantum communication systems, and outline our plans for using CQP as the foundation for formal analysis and verification of combined quantum and classical systems.

Affiliated with

Also associated with

No associations

Rating

Communicating 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 Communicating Quantum Processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Communicating Quantum Processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-229878