Programming with Quantum Communication
Anya Tafliovich, Eric C. R. Hehner · Electronic Notes in Theoretical Computer Science · 2009
This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing programs which involve communication, both via quantum channels and exhibiting the LOCC (local operations, classical communication) paradigm.