2009/07/29 by Anya Tafliovich, Tafliovich, Anya, Eric C. R. Hehner +1
Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
paper · pdf · doi:10.48550/arxiv.0907.5162
openalex publication_date 2009/07/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.