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. Now, it is the time to utilize truly concurrent process algebras APTC and APPTC to model quantum computing and unify quantum and classical computing. In this book, we introduce the preliminaries, the utilization of APTC to unify quantum and classical computing and its usage in verification of quantum communication protocols, the utilization of APPTC to unifying quantum and classical computing and its usage in verification of quantum communication protocols.
翻译：真正同时发生的过程代数是将传统过程代数与真实货币的代数加以概括化,将传统过程代数与CCS相提并论,将APTC与CCS相提并论,将APTC与ACP相提并论,将$\pi ⁇ tc}美元与$pi$计算,将APTC与概率过程代数相提并论,现在是利用真正同时的过程代数与APTC形成量子计算模型并统一量子和古典计算的时候了。在本书中,我们引入了使用APTC来统一量子计算和古典计算及其在量子通信协议核查中的使用,将APTC用于统一量子计算和经典计算及其在量子通信协议的核查中的使用。
相关内容
微信扫码咨询专知VIP会员