Indexed by：
Abstract：
One of the most fascinating characteristics is the modularity of ACP (Algebra of Communicating Processes), that is, ACP can be extended easily. qACP also inherents the modularity characteristics of ACP. By introducing new operators or new constants, qACP can have more properties. In this paper, we extend the quantum process algebra qACP with priorities support in an elegant way. And we obtain the soundness and completeness of the extension.
Keyword：
Reprint Author's Address：
Email：
Source ：
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
ISSN： 0020-7748
Year： 2017
Issue： 8
Volume： 56
Page： 2601-2606
1 . 4 0 0
JCR@2022
ESI Discipline： PHYSICS;
ESI HC Threshold：158
CAS Journal Grade：4
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 8
