Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols

Ittop Puthoor, Simon J. Gay

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 9th International Workshop on Quantum Physics and Logic
Pages15-28
Volume158
DOIs
Publication statusPublished - 2012
Event9th Workshop on Quantum Physics and Logic - Brussels, Belgium
Duration: 10 Oct 201212 Oct 2012

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume158

Conference

Conference9th Workshop on Quantum Physics and Logic
Abbreviated titleQPL 2012
CountryBelgium
CityBrussels
Period10/10/1212/10/12

Fingerprint Dive into the research topics of 'Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols'. Together they form a unique fingerprint.

Cite this