2000 character limit reached
Programming with Quantum Communication (0907.5162v1)
Published 29 Jul 2009 in cs.PL, cs.LO, and quant-ph
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.