量子进程间的概率互模拟

对并发量子系统进行建模与推理对于分布式量子计算和量子协议验证均具有重要意义。因此，需要一个形式化描述复杂量子系统中通信与并发的通用框架。为此，我们提出了 qCCS 模型，它是经典传值 CCS 的自然量子扩展，包含量子态的输入与输出，以及量子系统上的酉变换和测量。qCCS 的操作语义基于概率标号迁移系统给出。为了描述可能与其他分量相关的量子系统的输入与输出，该语义与文献中的已有方案相比具有诸多不同特征。基于此操作语义，我们引入了量子进程间的强概率互模拟与弱概率互模拟的概念，并讨论了它们的一些性质，例如在各种组合算子下的同余性。