Programming with Quantum Communication
Programming Languages
2009-07-30 v1 Logic in Computer Science
Quantum Physics
Abstract
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.
Cite
@article{arxiv.0907.5162,
title = {Programming with Quantum Communication},
author = {Anya Tafliovich and Eric C. R. Hehner},
journal= {arXiv preprint arXiv:0907.5162},
year = {2009}
}