Verification of Distributed Quantum Protocols

TL;DR

This paper discusses the use of truly concurrent process algebras with localities to model and verify distributed quantum communication protocols, aiming to unify quantum and classical computing frameworks.

Contribution

It introduces a framework combining truly concurrent process algebras with localities for modeling and verifying distributed quantum protocols, advancing quantum-classical unification.

Findings

Framework effectively models quantum communication protocols

Enables verification of protocol distribution properties

Bridges quantum and classical computing models

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.