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