Indexed by:
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:
Reprint Author's Address:
Email:
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
Affiliated Colleges: