Quantum Process Algebra with Priorities

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.