dorsal/arxiv
View SchemaToward a Quantum Process Algebra
| Authors | Philippe Jorrand, Marie Lalire |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0312067 |
| URL | https://arxiv.org/abs/quant-ph/0312067 |
Abstract
Quantum computations operate in the quantum world. For their results to be useful in any way, there is an intrinsic necessity of cooperation and communication controlled by the classical world. As a consequence, full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they communicate and cooperate. This paper aims at defining a high level language allowing the description of classical and quantum programming, and their cooperation. Since process algebras provide a framework to model cooperating computations and have well defined semantics, they have been chosen as a basis for this language. Starting with a classical process algebra, this paper explains how to transform it for including quantum computation. The result is a quantum process algebra with its operational semantics, which can be used to fully describe quantum algorithms in their classical context.
{
"annotation_id": "87e6e97a-5c04-4ebf-8468-82c1c43fc6eb",
"date_created": "2026-03-02T18:02:03.643000Z",
"date_modified": "2026-03-02T18:02:03.643000Z",
"file_hash": "6761993c17d8de21dfbb9bf08838baf9a2c66039f40ed42ca1a81331174614f4",
"private": false,
"record": {
"abstract": "Quantum computations operate in the quantum world. For their results to be\nuseful in any way, there is an intrinsic necessity of cooperation and\ncommunication controlled by the classical world. As a consequence, full formal\ndescriptions of algorithms making use of quantum principles must take into\naccount both quantum and classical computing components and assemble them so\nthat they communicate and cooperate. This paper aims at defining a high level\nlanguage allowing the description of classical and quantum programming, and\ntheir cooperation. Since process algebras provide a framework to model\ncooperating computations and have well defined semantics, they have been chosen\nas a basis for this language. Starting with a classical process algebra, this\npaper explains how to transform it for including quantum computation. The\nresult is a quantum process algebra with its operational semantics, which can\nbe used to fully describe quantum algorithms in their classical context.",
"arxiv_id": "quant-ph/0312067",
"authors": [
"Philippe Jorrand",
"Marie Lalire"
],
"categories": [
"quant-ph"
],
"title": "Toward a Quantum Process Algebra",
"url": "https://arxiv.org/abs/quant-ph/0312067"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "816f0c63-bb61-4630-857c-8461d412929a",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}