Loading...
Please wait, while we are loading the content...
Similar Documents
Proc. QPL 2004, pp. 91–107 Communicating quantum processes
| Content Provider | CiteSeerX |
|---|---|
| Abstract | 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, 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. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Classical Data Communicating Quantum Process Type System Classical Communication Semantics Preserve Communication Primitive Quantum Process Operational Semantics Communication Channel Static Type System Unique Process Quantum State Language Cqp |
| Content Type | Text |
