Programming with quantum communication

DOI10.1016/J.ENTCS.2009.10.008MaRDI QIDQ7014442zbMATH OpenFDO

Authors Anya Tafliovich, Eric C. R. Hehner

Publication date 11 March 2025

zbMATH Keywords

quantum computingformal verificationquantum communication protocolformal methods of program design

Mathematics Subject Classification ID

Quantum computation (81P68) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1612487 (Why is no real title available?)
• scientific article; zbMATH DE number 517333 (Why is no real title available?)
• A categorical quantum logic
• A process algebra for reasoning about quantum security
• Communicating quantum processes
• Mathematics of Program Construction
• Quantum Predicative Programming
• Quantum cryptography: public key distribution and coin tossing
• Quantum weakest preconditions
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• The measurement calculus
• Towards a quantum programming language

This page was built for publication: Programming with quantum communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7014442)