"Verification of Concurrent Quantum Protocols by Equivalence Checking."

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics