| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422032 | Electronic Notes in Theoretical Computer Science | 2009 | 20 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
