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.In this book, we utilize truly concurrent process algebras APTC and APPTC to model quantum computing and unify quantum and classical computing.
翻译:真正同时同时的流程代数是指对真实货币的传统流程代数、CCS的CTC、APTC至ACP、$\pi ⁇ tc}$$-pi$culus、APTC至概率进程代数。 在本书中,我们使用真正同时的流程代数、APTC和APTC来模拟量子计算、统一量子计算和经典计算。