Yong Wang: Verification of Distributed Quantum Protocols. CoRR abs/2110.11416 (2021)