Security Analyses of Quantum Communication Protocols

Abstract

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.

arXiv comment152 pages, 23 figures, 62 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:1501.05260