51 citations · 191 across the 20 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
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.PL2012★ 16 cited
Modular session types for objects
Simon J. Gay, Nils Gesbert, António Ravara +1
Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on…