收录：
摘要：
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.
关键词：
通讯作者信息：
电子邮件地址：
