量子过程代数

@第{Ying2007AnAO条，title＝{量子过程的代数}，author={英明生、袁峰、段润耀、季正峰}，日志={ACM Trans.Comput.Log.}，年份={2007}，体积={10}，页码={19:1-19:36}，网址={https://api.semanticscholar.org/CorpusID:6601306}}
  • M.Ying先生袁峰 郑凤姬
  • 出版在里面TOCL公司 2007年7月3日
  • 计算机科学、数学、物理
  • ACM事务处理。计算。日志。
我们引入了纯量子过程的代数qCCS，其中物理上允许通过移动量子态进行通信，计算由超运算符建模，但没有经典数据…
ACM上的视图
[PDF]语义阅读器
59引文
极具影响力的引文
5
背景引文
23
方法引文
20
结果引文
1

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

59引文

统一量子计算和经典计算的量子过程公理化

建立了量子过程的公理化，它是过程代数ACP（algebra of Communicating processes）的量子推广，它不仅涉及量子信息，还涉及经典信息，统一了量子计算和经典计算。

量子过程微积分的理论与应用

扩展了CQP的等式理论，并定义了另外三个新的公理，以分析量子协议，包括量子秘密共享、量子纠错、远程CNOT和超密集编码，从而对量子信息处理（QIP）系统进行建模和分析。

量子过程的相互模拟

引入了量子过程的强互模拟和弱互模拟的新概念，并证明了即使在经典和量子通信都存在的情况下，它们对于包括并行组合在内的各种过程代数组合子是一致的。

量子过程的相互模拟

引入了量子过程互模拟的一个新概念，证明了即使在经典通信和量子通信都存在的情况下，它对于包括并行合成的各种过程代数组合子也是同余的。

量子过程的符号互模拟

本文直接在量子操作层面上介绍了量子过程的符号操作语义，它允许描述量子过程之间的互模拟，而无需借助于量子状态。

通过等价性检查验证并发量子协议

一种工具，使用并发语言描述量子系统，通过检查规范和实现之间的等效性来执行验证，并应用此工具指定和验证从远程传送到秘密共享的有趣且实用的量子协议。

使用量子过程演算的形式化验证技术

定义了从CQP到Quantum Model Checker（QMC）的转换，并证明该转换保留了CZP过程的语义，从而通过增强过程演算的手动技术和模型检查的优点，实现了形式验证的多方面方法。

通过倒钩和上下文的量子双相似性：限制非确定性观测者的力量

介绍了一种新的演算方法——线性量子CCS（lqCCS），并研究了基于倒钩和上下文的行为等价性特征，以研究基于倒钩与上下文的行为等效性特征。

通信量子过程的模型检验

描述了使用过程演算和模型检查相结合的方法来验证量子系统，定义了从CQP到QMC使用的建模语言的形式化转换，并证明这保留了所有支持的CZP过程的语义。

量子密码协议的自动验证

证明了量子密钥分发协议BB84在拦截-再发送攻击下是可靠的（渐近）安全的，表明了当与此类攻击者同时执行时，BB84协议与理想协议近似相似。
...

26参考文献

量子过程之间的关系：双相似性和同余性

受经典过程代数的启发，经典过程代数提供了一个建模协作计算的框架，定义了一个过程代数符号，它为包括量子部分和经典部分的并发和分布式计算的形式化描述提供了一种同质风格。

量子过程的概率互模拟

通信量子过程的类型和类型检查

对CQP的语法、操作语义和类型系统进行了形式化定义，并证明了语义保留了类型，类型保证了每个量子位都由系统中的唯一进程拥有。

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

使用量子原理的算法的完整形式描述必须考虑到量子和经典计算组件，并对其进行组装，以便它们进行通信和…

走向量子过程代数

本文旨在定义一种高级语言，用于描述经典和量子编程，以及它们之间的合作，并选择过程代数作为该语言的基础。

分布式量子计算——一种基于测量的方法

人们提倡使用测量演算作为发展分布式量子计算正式框架的基础，而量子知识的概念在任何基于代理的量子网络模型中更具普遍意义。

从量子物理到程序设计语言：过程代数方法

本文集中于一种典型的“计算机科学”方法，以更深入地理解使用量子资源进行计算意味着什么，即量子算法和协议的编程语言的设计，以及这些语言的语义提出的问题。

互模拟指数及其应用

论纠缠在量子计算加速中的作用

然而，有人认为，将纠缠视为量子计算能力的关键资源是有误导性的，因为任何量子算法都必须提供比经典计算更快的指数速度。

走向量子编程语言

本文描述了一种简单的量子程序设计语言的语法和语义，该语言具有循环、递归过程和结构化数据类型等高级特性，并且在超运算符的完全偏序方面具有有趣的指称语义。