Papers
量子进程的互模拟
Bisimulation for Quantum Processes
Feng、Duan 与 Ying 为量子进程提出概率互模拟，并研究其在组合和递归下的保持性。
论文信息（POPL 2011；扩展版 TOPLAS 2012；预印本：2010）：Yuan Feng、Runyao Duan、Mingsheng Ying。arXiv:1007.2584
工作
本文为同时含经典和量子通信的量子进程提出 probabilistic bisimulation（概率互模拟）。互模拟通过比较进程可观察的动作、通信和量子状态变化，判断两个进程是否具有相同的行为；论文还研究它在并行组合等进程代数构造下的 congruence 性质，以及递归方程解的唯一性。
主要贡献
- 定义适用于量子进程的概率互模拟。
- 证明互模拟对包含经典和量子通信的多种组合构造保持一致。
- 给出互模拟的代数定律和递归进程方程解的唯一性结果。
- 为复杂量子协议的等价性验证提供过程层面的证明技术。
局限与适用范围
互模拟依赖所选进程模型、可观察动作和量子状态等价关系；它不自动给出硬件噪声下的等价性、资源成本或协议保密性证明。递归方程的结论也必须在论文规定的语义域和组合子范围内理解，不能直接推广到所有量子语言。
与其他工作的关系
它延伸了 通信量子进程 的 CQP 进程与所有权方向，把重点推进到过程等价和组合闭包。它也可与 量子协议的范畴语义 的组合协议表示对照，并为 验证方法与工具 中的等价检查提供过程代数视角。
原论文
Yuan Feng, Runyao Duan, and Mingsheng Ying, Bisimulation for Quantum Processes, POPL 2011; extended ACM Transactions on Programming Languages and Systems 34(4), Article 17 (2012). arXiv:1007.2584
本词条用于学习导览。正式引用与技术细节请以文末原始文献为准。
继续阅读相互作用的量子可观测量：范畴代数与图示法→