Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Communicating Quantum Processes   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.

32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
1
The categories of this paper are: cs
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph