Equational Reasoning About Quantum Protocols.

Simon J. Gay, Ittoop Vergheese Puthoor

Browse the full RC paper archive.