并发与分布式量子计算的过程代数方法：操作语义

利用量子原理的算法的完整形式化描述必须考虑量子与经典计算组件，并将它们组装以便通信与协作。此外，为建模并发与分布式量子计算以及量子通信协议，还必须考虑将量子比特从一处物理移动到另一处的量子到量子通信。受提供建模协作计算框架的经典过程代数启发，我们定义了一种过程代数记号，命名为 QPAlg（Quantum Process Algebra，量子过程代数），它对包含量子与经典部分的并发和分布式计算的形式化描述提供了同质风格。在量子一侧，QPAlg 提供量子变量、量子变量上的操作（酉算符与测量可观测量），以及涉及量子世界的新通信形式。操作语义确保这些量子对象、操作与通信依照量子力学公设运作。