Affordable Access

Programming with Quantum Communication

Authors
  • Tafliovich, Anya
  • Hehner, Eric C. R.
Type
Preprint
Publication Date
Jul 29, 2009
Submission Date
Jul 29, 2009
Source
arXiv
License
Yellow
External links

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.

Report this publication

Statistics

Seen <100 times