|
related topics |
{vol, operators, histories} |
{key, protocol, security} |
{qubit, qubits, gate} |
{alice, bob, state} |
{time, systems, information} |
{measurement, state, measurements} |
{let, theorem, proof} |
{observables, space, algebra} |
{algorithm, log, probability} |
{theory, mechanics, state} |
{group, space, representation} |
|
Communicating Quantum Processes
Simon Gay, Rajagopal Nagarajan
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, 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.
- oai_identifier:
- oai:arXiv.org:quant-ph/0409052
- categories:
- quant-ph
- comments:
- A revised version of a paper presented at the Second International
Workshop on Quantum Programming Languages, Turku, Finland, July 2004. Note
that the introductory sections of the paper are written with a computer
science audience in mind
- arxiv_id:
- quant-ph/0409052
- created:
- 2004-09-09
Full article ▸
|
|
related documents |
0409065v5 |
0505180v1 |
0108102v2 |
0412024v1 |
0703099v5 |
0410215v2 |
0505108v1 |
0409099v2 |
0503192v4 |
0410017v2 |
0503002v1 |
0611145v1 |
0503157v1 |
0603234v1 |
0504150v2 |
0604091v1 |
0505009v4 |
0509211v1 |
0610096v2 |
0511163v2 |
0610214v3 |
0601183v1 |
0512058v3 |
0505122v2 |
0411058v1 |
|