Verification of Distributed Quantum 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, 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.

arXiv comment151 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

References in corpus (6)

• Quantum cryptography protocols robust against photon number splitting attacks for weak laser pulses implementations
• Incoherent and Coherent Eavesdropping in the 6-state Protocol of Quantum Cryptography
• Quantum Key Distribution Protocol with Private-Public Key
• An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing
• A Calculus of Truly Concurrent Mobile Processes
• Truly Concurrent Process Algebra with Localities

Cited by in corpus (1)

• Review of Distributed Quantum Computing. From single QPU to High Performance Quantum Computing