Analysis of a quantum error correcting code using quantum process calculus

Davidson, T.A.S., Gay, S.J. , Nagarajan, R. and Puthoor, I.V. (2012) Analysis of a quantum error correcting code using quantum process calculus. Electronic Proceedings in Theoretical Computer Science, 95, pp. 67-80. (doi: 10.4204/EPTCS.95.7)

Full text not currently available from Enlighten.

Publisher's URL:


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. The key idea is to define two systems, one modelling a protocol and one expressing a specification, and prove that they are behaviourally equivalent. We summarize the necessary theory in the process calculus CQP, including the crucial result that equivalence is a congruence, meaning that it is preserved by embedding in any context. We illustrate the approach by analyzing two versions of a quantum error correction system.

Item Type:Articles
Glasgow Author(s) Enlighten ID:Gay, Professor Simon and Puthoor, Mr Ittoop
Authors: Davidson, T.A.S., Gay, S.J., Nagarajan, R., and Puthoor, I.V.
College/School:College of Science and Engineering > School of Computing Science
College of Science and Engineering > School of Physics and Astronomy
Journal Name:Electronic Proceedings in Theoretical Computer Science
Publisher:Open Publishing Association
ISSN (Online):2075-2180
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record