• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

Wang, Yong (Wang, Yong.)

Indexed by:

Scopus SCIE

Abstract:

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.

Keyword:

Quantum processes Probabilistic process algebra Algebra of communicating processes Axiomatization

Author Community:

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

Reprint Author's Address:

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

Show more details

Related Keywords:

Related Article:

Source :

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS

ISSN: 0020-7748

Year: 2019

Issue: 10

Volume: 58

Page: 3436-3509

1 . 4 0 0

JCR@2022

ESI Discipline: PHYSICS;

ESI HC Threshold:123

JCR Journal Grade:3

Cited Count:

WoS CC Cited Count: 2

SCOPUS Cited Count: 3

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 8

Online/Total:954/10576427
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.