Indexed by：
Abstract：
The unifying of qACP and classical ACP under the framework of quantum process configuration ＜ p, rho & rang; makes verification for quantum protocols possible, not only the pure quantum protocol, but also protocol that mixes quantum information and classical information. In this paper, we verify the KMB09 protocol by use of quantum process algebra qACP.
Keyword：
Reprint Author's Address：
Email：
Source ：
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
ISSN： 0020-7748
Year： 2019
Issue： 11
Volume： 58
Page： 3651-3657
1 . 4 0 0
JCR@2022
ESI Discipline： PHYSICS;
ESI HC Threshold：123
JCR Journal Grade：3
Cited Count：
WoS CC Cited Count： 1
SCOPUS Cited Count： 1
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 9
Affiliated Colleges：
