{
  "annotation_id": "143d39bc-3e8c-4900-8146-9d5a7d4be490",
  "date_created": "2026-03-02T18:02:09.392000Z",
  "date_modified": "2026-03-02T18:02:09.392000Z",
  "file_hash": "0de2a9485d23d255dad84a34361f0b0663cbd2f39169e8bf5931243b44b62cad",
  "private": false,
  "record": {
    "abstract": "We define a language CQP (Communicating Quantum Processes) for modelling\nsystems which combine quantum and classical communication and computation. CQP\ncombines the communication primitives of the pi-calculus with primitives for\nmeasurement and transformation of quantum state; in particular, quantum bits\n(qubits) can be transmitted from process to process along communication\nchannels. CQP has a static type system which classifies channels, distinguishes\nbetween quantum and classical data, and controls the use of quantum state. We\nformally define the syntax, operational semantics and type system of CQP, prove\nthat the semantics preserves typing, and prove that typing guarantees that each\nqubit is owned by a unique process within a system. We illustrate CQP by\ndefining models of several quantum communication systems, and outline our plans\nfor using CQP as the foundation for formal analysis and verification of\ncombined quantum and classical systems.",
    "arxiv_id": "quant-ph/0409052",
    "authors": [
      "Simon Gay",
      "Rajagopal Nagarajan"
    ],
    "categories": [
      "quant-ph"
    ],
    "title": "Communicating Quantum Processes",
    "url": "https://arxiv.org/abs/quant-ph/0409052"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "f36d378b-4665-4c82-ad37-36ceb013e669",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}