TY - RPRT TI - Analysis of a Quantum Error Correcting Code using Quantum Process Calculus AU - Timothy A. S. Davidson AU - Simon J. Gay AU - Rajagopal Nagarajan AU - Ittoop Vergheese Puthoor PY - 2012 DO - 10.4204/eptcs.95.7 UR - https://arxiv.org/abs/1210.0614 ID - 1210.0614 ER -