Programming with Quantum Communication

https://doi.org/10.1016/j.entcs.2009.10.008Get rights and content
Under a Creative Commons license
open access

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.

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.