18 citations · 24 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 18 cited
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan +1
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 sc…
cs.LO2011★ 6 cited
Formal Analysis of Quantum Systems using Process Calculus
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan
Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on…