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.
