• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

Wang, Yong (Wang, Yong.)

收录:

Scopus SCIE

摘要:

We explicitly model entanglement in quantum processes by treating entanglement as a kind of parallelism. We introduce a shadow constant quantum operation and a so-called entanglement merge into quantum process algebra qACP. The transition rules of the shadow constant quantum operation and entanglement merge are designed. We also do a sound and complete axiomatization modulo the so-called quantum bisimilarity for the shadow constant quantum operation and entanglement merge. Then, this new type entanglement merge is extended into the full qACP. The new qACP has wide use in verification for quantum protocols, since most quantum protocols have mixtures with classical and quantum information, and also there are many quantum protocols adopting entanglement.

关键词:

Entanglement Process algebra Quantum mechanics Quantum processes

作者机构:

  • [ 1 ] [Wang, Yong]Beijing Univ Technol, Fac Informat Technol, Coll Comp Sci & Technol, Beijing 100124, Peoples R China

通讯作者信息:

  • [Wang, Yong]Beijing Univ Technol, Fac Informat Technol, Coll Comp Sci & Technol, Beijing 100124, Peoples R China

电子邮件地址:

查看成果更多字段

相关关键词:

来源 :

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS

ISSN: 0020-7748

年份: 2019

期: 11

卷: 58

页码: 3611-3626

1 . 4 0 0

JCR@2022

ESI学科: PHYSICS;

ESI高被引阀值:50

JCR分区:3

被引次数:

WoS核心集被引频次: 1

SCOPUS被引频次: 1

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 3

在线人数/总访问数:1487/2979475
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司