论文标题
分布式量子系统的扩展量子过程代数（EQPALG）方法
An extended quantum process algebra (eQPAlg) approach for distributed quantum systems
论文作者
论文摘要
在这项工作中，我们通过过程代数阐述了量子系统的通信程序。我们研究工作的主要目的是正式表示分布式量子系统之间的通信。在这个新提出的通信模型中，我们改善了Lalire量子过程代数QPAL的现有规则。我们通过介绍正式指定量子传送协议的概念来带来一些重要的修改。我们通过使用最能解释其工作并满足规范的程序进一步介绍了协议的正式描述。已经提供了示例来描述改进的代数的工作，这些代数正式解释了同时的经典数据和量子数据的发送和接收，牢记量子力学的主要特征。
In this work, we have expounded the communication procedure of quantum systems by means of process algebra. The main objective of our research effort is to formally represent the communication between distributed quantum systems. In this new proposed communication model we have ameliorated the existing rules of Lalire's quantum process algebra QPAlg. We have brought some important modification in QPAlg by introducing the concept of formally specifying the Quantum teleportation protocol. We have further introduced the formal description of protocol by using programs that best explains its working and satisfies the specification. Examples have been provided to describe the working of the improved algebra that formally explain the sending and receiving of both classical as well as quantum data, keeping in mind the principal features of quantum mechanics.
