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

作者:

Wang, Yong (Wang, Yong.)

收录:

Scopus SCIE

摘要:

We have unified quantum and classical computing in open quantum systems called qACP which is a quantum generalization of process algebra ACP. But, an axiomatization of quantum and classical processes with an assumption of closed quantum systems is still missing. For closed quantum systems, unitary operator, quantum measurement and quantum entanglement are three basic components of quantum computing. This leads to probability unavoidable. Along the solution of qACP to unify quantum and classical computing in open quantum systems, we unify quantum and classical computing with an assumption of closed systems under the framework of ACP-like probabilistic process algebra. This unification make it can be used widely in verification of quantum and classical computing mixed systems, such as most quantum communication protocols.

关键词:

Algebra of communicating processes Axiomatization Probabilistic process algebra Quantum processes

作者机构:

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

通讯作者信息:

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

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS

ISSN: 0020-7748

年份: 2019

期: 10

卷: 58

页码: 3436-3509

1 . 4 0 0

JCR@2022

ESI学科: PHYSICS;

ESI高被引阀值:50

JCR分区:3

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

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

万方被引频次:

中文被引频次:

近30日浏览量: 2

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