@Inproceedings{EPTCS158.2, author = {Gay, Simon J. and Puthoor, Ittoop Vergheese}, year = {2014}, title = {Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols}, editor = {Duncan, Ross and Panangaden, Prakash}, booktitle = {{\rm Proceedings 9th Workshop on} Quantum Physics and Logic, {\rm Brussels, Belgium, 10-12 October 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {158}, publisher = {Open Publishing Association}, pages = {15-28}, doi = {10.4204/EPTCS.158.2}, }