@inproceedings{97b1f5a83ae844d581d864d0bf0273c0,
title = "Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols",
abstract = "We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. We have extended the quantum process calculus to describe d-dimensional quantum systems, which has not been done before. We summarise the necessary theory in the generalisation of quantum gates and Bell states and use the theory to apply the quantum process calculus CQP to quantum protocols, namely qudit teleportation and superdense coding.",
author = "Ittop Puthoor and Gay, {Simon J.}",
year = "2012",
doi = "10.4204/EPTCS.158.2",
language = "English",
volume = "158",
series = "Electronic Proceedings in Theoretical Computer Science",
pages = "15--28",
booktitle = "Proceedings of the 9th International Workshop on Quantum Physics and Logic",
note = "9th Workshop on Quantum Physics and Logic, QPL 2012 ; Conference date: 10-10-2012 Through 12-10-2012",
}