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: http://eptcs.web.cse.unsw.edu.au/content.cgi?QPL2011
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. 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 |
|---|---|
| Status: | Published |
| Refereed: | No |
| 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: | 2075-2180 |
| ISSN (Online): | 2075-2180 |
| Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record
Deposit and Record Details
Deposit and Record Details