机构名称：
¥ 2.0
量子通信协议的发展激发了人们对过程演算和行为等价性的量子扩展的兴趣，但定义与量子系统观测特性相匹配的双相似性是一项出奇困难的任务。明确解决此问题的两个提案 qCCS 和 lqCCS 没有定义算法验证方案：通过比较两个过程在所有输入状态下的行为来证明它们的双相似性。我们引入了一种基于效应的新语义模型，即表示其可观察特性的量子态的概率谓词。我们定义并研究了效应分布和效应标记转换系统 (eLTS) 的属性，分别概括了概率分布和概率标记转换系统 (pLTS)。作为概念证明，我们为最小量子过程代数提供了基于 eLTS 的语义，我们证明它在量子过程的可观察概率行为方面是合理和完整的。据我们所知，我们的提案是第一个符合量子理论特性的可通过算法验证的提案。
量子过程演算的效果语义 - DROPS
主要关键词
相关文件推荐
