摘要
. 2010 . 顺序和并发程序的验证 . 施普林格科技与商业媒体 . 谷歌学者 数字图书馆 . 1986 . 分布式终止算法的正确性证明 . ACM事务处理。 程序。 语言系统。 8 , 三 ( 1986 ), 388 – 405 . 内政部: 谷歌学者 数字图书馆 . 1987 . CSP程序的两个范式定理 . 通知。 过程。 莱特。 26 , 4 ( 1987 ), 165 – 171 . 谷歌学者 数字图书馆 . 1984 . 量子密码:公钥分发和投币 .英寸 计算机、系统和信号处理国际会议记录 . 谷歌学者 . 1993 . 通过双经典和Einstein-Poolsky-Rosen信道传送未知量子态 . 物理审查信函 70 , 13 ( 1993 ), 1895 . 谷歌学者 交叉引用 . 1996 . 噪声信道中噪声纠缠的净化和忠实隐形传态 . 物理审查信函 76 , 5 ( 1996 ), 722 . 谷歌学者 交叉引用 . 1992 . 通过Einstein-Poolsky-Rosen态上的单粒子和双粒子算符进行通信 . 物理审查信函 69 , 20 ( 1992 ), 2881 . 谷歌学者 交叉引用 . 1998 . 量子中继器:不完全局域操作在量子通信中的作用 . 物理审查信函 81 , 26 ( 1998 ), 5932 . 谷歌学者 交叉引用 . 1984 . 通信顺序过程理论 . 美国医学会杂志 31 , 三 ( 1984 ), 560 – 599 . 谷歌学者 数字图书馆 . 2006 . 关于命令式量子程序的推理 . 理论计算机科学电子笔记 158 ( 2006 ), 19 – 39 . 谷歌学者 数字图书馆 . 1978 . 程序验证公理系统的稳健性和完备性 . SIAM J.计算。 7 , 1 ( 1978 ), 70 – 90 . 谷歌学者 数字图书馆 . 2020 . 走向分布式量子计算生态系统 . IET量子通信 1 , 1 ( 2020 ), 三 – 8 . 内政部: 谷歌学者 交叉引用 . 1976 . 程序设计学科 . 普伦蒂斯·霍尔·恩格伍德悬崖 . 谷歌学者 数字图书馆 . 2000 . 非局部量子门的最优局部实现 . 物理复习A 62 , 5 ( 2000 ), 052317 . 谷歌学者 交叉引用 . 2007年a . 量子过程的概率互模拟 . 信息与计算 205 , 11 ( 2007 ), 1608 – 1639 . 谷歌学者 数字图书馆 . 2007年b . 量子程序正确性的证明规则 . 理论计算机科学 386 , 1–2 ( 2007 ), 151 – 166 . 谷歌学者 数字图书馆 . 2012 . 量子过程的相互模拟 . ACM事务处理。 程序。 语言系统。 34 , 4 ( 2012 ), 17:1–17:43 . 内政部: 谷歌学者 数字图书馆 . 2021 . 具有经典变量的量子霍尔逻辑 . ACM量子计算交易 2 , 4 ( 2021 ), 1 – 43 . 谷歌学者 数字图书馆 . 2005 . 通信量子过程 .英寸 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,POPL 2005,美国加利福尼亚州长滩,2005年1月12日至14日 , 和 (编辑)。 ACM公司 , 145 – 157 . 内政部: 谷歌学者 数字图书馆 . 1999 . 使用隐形传态和单量子比特操作证明通用量子计算的可行性 . 自然 402 , 6760 ( 1999 ), 390 – 393 . 谷歌学者 交叉引用 . 2021 . 基于QMPI的分布式量子计算 ( SC'21号 ). 计算机协会 , 美国纽约州纽约市 ,第16条, 13 页。 内政部: 谷歌学者 数字图书馆 . 2012 . 实用程序设计理论 . 施普林格科技与商业媒体 . 谷歌学者 . 1969 . 计算机编程的公理基础 . Commun公司。 ACM公司 12 , 10 ( 1969 ), 576 – 580 . 谷歌学者 数字图书馆 . 1978 . 传达顺序流程 . Commun公司。 ACM公司 21 , 8 ( 1978 ), 666 – 677 . 谷歌学者 数字图书馆 . 2008 . 作为通用可编程量子处理器的渐近隐形传态方案 . 物理审查信函 101 , 24 ( 2008 ), 240501 . 谷歌学者 交叉引用 . 2004 . 走向量子过程代数 .英寸 2004年4月14日至16日在意大利伊斯基亚举行的第一届计算机前沿会议记录 , , 、和 (编辑)。 ACM公司 , 111 – 119 . 内政部: 谷歌学者 数字图书馆 . 2009 . 量子程序形式验证的逻辑 . 计算机科学课堂讲稿 ( 2009 ), 79 – 93 . 内政部: 谷歌学者 数字图书馆 . 2008 . 量子互联网 . 自然 453 , 7198 ( 2008 ), 1023 – 1030 . 内政部: 谷歌学者 交叉引用 . 2019 . 走向大规模量子网络 .英寸 2019年9月25日至27日于爱尔兰都柏林举行的第六届ACM国际纳米计算与通信年会论文集,2019年NANOCOM . ACM公司 , 3:1–3:7 . 内政部: 谷歌学者 数字图书馆 . 1983 . 状态、效应和操作:量子理论的基本概念 . 物理课堂讲稿 190 ( 1983 ). 谷歌学者 交叉引用 . 2002 . 量子计算与量子信息 . 剑桥大学出版社 . 谷歌学者 数字图书馆 . 2021 . 并行和分布式量子计算的量子算法与仿真 . arXiv预打印arXiv:2106.06841 ( 2021 ). 谷歌学者 . 2015 . 量子隐形传态研究进展 . 自然光子学 9 , 10 ( 2015 ), 641 – 652 . 谷歌学者 交叉引用 . 2021 . 远程固态量子比特多节点量子网络的实现 . 科学类 372 , 6539 ( 2021 ), 259 – 264 . 内政部: 谷歌学者 交叉引用 . 2001 . 单向量子计算机 . 物理审查信函 86 , 22 ( 2001 ), 5188 . 谷歌学者 交叉引用 . 2004 . 走向量子编程语言 . 计算机科学中的数学结构 14 , 4 ( 2004 ), 527 – 586 . 谷歌学者 数字图书馆 . 2009 . 量子通信编程 . 理论计算机科学电子笔记 253 , 三 ( 2009 ), 99 – 118 . 谷歌学者 数字图书馆 . 2005 . 领导者选举问题的精确量子算法 .英寸 计算机科学理论方面年度研讨会 .施普林格, 581 – 592 . 谷歌学者 . 2019 . 带虚变量的量子霍尔逻辑 .英寸 2019年第34届ACM/IEEE计算机科学逻辑年会(LICS) IEEE中, 1 – 13 . 谷歌学者 . 1955 . 量子力学的数学基础 . 普林斯顿大学出版社,新泽西州普林斯顿 . 谷歌学者 . 2018 . 量子互联网:对未来道路的展望 . 科学类 362 , 6412 ( 2018 ). 内政部: 谷歌学者 交叉引用 . 1982 . 单个量子无法克隆 . 自然 299 , 5886 ( 1982 ), 802 – 803 . 谷歌学者 交叉引用 . 2012 . Floyd–量子程序的霍尔逻辑 . 美国计算机学会程序设计语言与系统汇刊(TOPLAS) 33 , 6 ( 2012 ), 1 – 49 . 谷歌学者 数字图书馆 . 2016 . 量子编程基础 . 摩根考夫曼 . 谷歌学者 . 2019 . 走向量子程序的自动验证 . 计算的形式方面 31 , 1 ( 2019 ), 三 – 25 . 谷歌学者 数字图书馆 . 2009 . 量子过程代数 . ACM计算逻辑事务(TOCL) 10 , 三 ( 2009 ), 1 – 36 . 谷歌学者 数字图书馆 . 1988 . 范式转换法(für CSP程序) . Informatik(西柏林) 三 , 2 ( 1988 ), 64 – 76 . 谷歌学者