量子过程代数
Toward a Quantum Process Algebra
摘要：
量子计算在量子世界中运行。为了使他们的结果在任何方面都有用，古典世界控制下的合作和交流是内在的必要性。因此，使用量子原理的算法的完整形式描述必须考虑量子和经典计算组件，并将它们组装起来，以便它们进行通信和合作。本文旨在定义一种高级语言，允许描述经典和量子编程，以及它们的合作。由于进程代数提供了一个框架来建模协作计算，并具有定义良好的语义，因此它们被选为该语言的基础。本文从一个经典的进程代数出发，说明了如何将其转化为包含量子计算的进程代数。其结果是一个量子进程代数及其操作语义，它可以用来充分描述量子算法在其经典的背景。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
