6 citations · 7 across the 2 of their papers we have counts for
2 papers
quant-ph2007★ 1 cited
QMC: A Model Checker for Quantum Systems
Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
We introduce a model-checking tool intended specially for the analysis of quantum information protocols. The tool incorporates an efficient representation of a certain class of qua…
quant-ph2004★ 6 cited
Communicating Quantum Processes
Simon Gay, Rajagopal Nagarajan
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication p…