Programming with Quantum Communication
Under a Creative Commons license
open access
Keywords
Quantum Computing
Quantum Communication Protocol
Formal Verification
Formal Methods of Program Design
Cited by (0)
- 1
This work is in part supported by NSERC.
Copyright © 2009 Elsevier B.V.