Programming with Quantum Communication

Programming with Quantum Communication

Cached

Download Links

by Anya Tafliovich , E. C. R. Hehner

Citations:

BibTeX

@MISC{Tafliovich_programmingwith,
    author = {Anya Tafliovich and E. C. R. Hehner},
    title = {Programming with Quantum Communication},
    year = {}
}

Bookmark

OpenURL

Abstract

Abstract. We present a formal framework for specifying, implementing, and analysing quantum communication protocols. 1

Citations

519	Quantum Cryptography: Public Key Distribution and - Bennett, Brassard
364	Teleporting an Unknown Quantum State via Dual Classical and Einstein-PodolskyRosen - Bennett, Brassard, et al. - 1993
119	A Categorical Semantics of Quantum Protocols - Abramsky, Coecke
102	A Practical Theory of Programming - Hehner - 1993
91	Towards a quantum programming language - Selinger
56	Non-deterministic quantum programming, in - Zuliani
42	Quantum predicative programming, in - Tafliovich, Hehner
35	A functional quantum programming language - Altenkirch, Grattage - 2005
33	Communicating quantum processes - Gay, Nagarajan - 2005
23	The measurement calculus - Danos, Kashefi, et al.
22	Quantum weakest preconditions - D’Hondt, Panangaden
19	A process algebraic approach to concurrent and distributed computation: operational semantics - Lalire, Jorrand
19	A categorical quantum logic - Abramsky, Duncan
14	Quantum typing, in - Valiron
13	Operational semantics for formal tensorial calculus - Arrighi, Dowek
13	Toward a quantum process algebra - Jorrand, Lalire - 2004
12	Distributed quantum computing: A distributed Shor algorithm - Yimsiriwattana, Jr - 2004
10	The logic of entanglement - Coecke - 2003
8	A process algebra for reasoning about quantum security - Adão, Mateus
7	High-level methods for quantum computation and information - Abramsky - 2004
4	Quantum Programming - Tafliovich - 2004
3	Linear-algebraic λ-calculus - Arrighi, Dowek - 501
3	Quantum Programming,” DPhil thesis - Zuliani - 2001
2	A probability perspective, Formal Aspects of Computing (2009 - Hehner
2	Programming telepathy: Implementing quantum non-locality games - Tafliovich, Hehner