Formal Verification of Higher-Dimensional Quantum Protocols Using Communicating Quantum Processes

This paper presents preliminary results in extending the theory of behavioral equivalence in the Communicating Quantum Processes (CQP) formalism to verify higher-dimensional quantum protocols using qudits.