Programming with Quantum Communication

Authors:
Anya Tafliovich;Eric C. R. Hehner
Affiliations:
Computer Science, University of Toronto, Toronto, Canada;Computer Science, University of Toronto, Toronto, Canada
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 13
Cited 0

A practical theory of programming

A practical theory of programming
Quantum computation and quantum information

Quantum computation and quantum information
Quantum Programming

MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Toward a quantum process algebra

Proceedings of the 1st conference on Computing frontiers
Towards a quantum programming language

Mathematical Structures in Computer Science
High-Level Methods for Quantum Computation and Information

LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
A Categorical Semantics of Quantum Protocols

LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Communicating quantum processes

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Functional Quantum Programming Language

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Quantum weakest preconditions

Mathematical Structures in Computer Science
A categorical quantum logic

Mathematical Structures in Computer Science
The measurement calculus

Journal of the ACM (JACM)
Quantum predicative programming

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction

Quantified Score

Hi-index	0.00

Visualization

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.