51 citations · 191 across the 20 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013
Automated Verification of Quantum Protocols by Equivalence Checking
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
In this paper we introduce a technique and a tool for formal verification of various quantum information processing protocols. The tool uses stabilizer formalism and is capable of…
cs.LO2013★ 5 cited
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
Simon J. Gay, Ittoop Vergheese Puthoor
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…