TY - RPRT TI - Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols AU - Simon J. Gay AU - Ittoop Vergheese Puthoor PY - 2014 DO - 10.4204/eptcs.158.2 UR - https://arxiv.org/abs/1303.2896 ID - 1303.2896 ER -