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. And we also did some work on reversible process algebra and probabilistic truly concurrent process algebra. In this book, we utilize reversible truly concurrent process algebras APRTC and probabilistic process algebra APPTC to model quantum computing and unify quantum and classical computing.

翻译：真正同时的流程代数是传统进程代数的概括,用于真正的同值货币、CCS、CCS、APTC至ACP、$\pi ⁇ tc}$@pi$culululus、APTC至概率进程代数。我们还在可逆进程代数和真正同时的概率进程代数方面做了一些工作。在本书中,我们利用可逆的、真正同时的流程代数和概率代数来模拟量子计算、统一量子计算和经典计算。