Verification of Distributed Quantum Protocols
arXiv:2110.11416
Abstract
Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, to 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.
151 pages, 23 figures, 60 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:2107.08453, arXiv:2101.05140, arXiv:1611.09035, arXiv:1610.02500, arXiv:1810.00868, arXiv:2104.05438, arXiv:1311.2960, arXiv:1501.05260, arXiv:2109.05936