A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
2012
Electronic Proceedings in Theoretical Computer Science
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
doi:10.4204/eptcs.95.7
fatcat:mia3zb75yjhf7oy5vnyl2vr6ey