Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, $\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra, APTC with localities to process algebra with localities. In quantum process algebras, there are several well-known work, and we ever did some work to unify quantum and classical computing under the framework of ACP \cite{ACP} and probabilistic process algebra. Now, it is the time to utilize truly concurrent process algebras with localities to model quantum computing and unify quantum and classical computing in this book. Since this work is with localities, it is suitable to verify the distribution of quantum communication protocols.
翻译:真正同时的流程代数是传统进程代数的概括,用于真实货币、CCS、APTC至非加太、$\pi ⁇ tc}$\pi$culululus、APTC用于概率化代数、APTC与地方处理代数。在量子进程代数中,有若干众所周知的工作,而且我们曾经在非加太\cite{ACP}和概率化进程代数的框架内,为统一量子和经典计算做了一些工作。现在是时候利用与地方同时的代数来模拟量子计算和统一本书中的量子和古典计算了。由于这项工作与地方有关,因此适宜核查量子通信协议的分布情况。