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

Author:

Wang, Yong (Wang, Yong.)

Indexed by:

Scopus SCIE

Abstract:

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.

Keyword:

Quantum processes Process algebra Entanglement Quantum mechanics

Author Community:

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

Reprint Author's Address:

  • [Wang, Yong]Beijing Univ Technol, Fac Informat Technol, Coll Comp Sci & 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: 11

Volume: 58

Page: 3611-3626

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: 1

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 5

Online/Total:424/10642181
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.