Formal Analysis of Quantum Systems using Process Calculus - Timothy A. S. Davidson; Simon J. Gay; Rajagopal Nagarajan (ICE, 2011)

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus - Timothy A. S. Davidson; Simon J. Gay; Rajagopal Nagarajan; Ittoop Vergheese Puthoor (QPL, 2011)

Model Checking for Communicating Quantum Processes. - Timothy A. S. Davidson; Simon J. Gay; Hynek Mlnarik; Rajagopal Nagarajan; Nick Papanikolaou 001 (Int. J. Unconv. Comput., 2012)

Formal verification techniques using quantum process calculus. - Timothy A. S. Davidson (2012)