Equational reasoning about quantum protocols

DOI10.1007/978-3-319-20860-2_10MaRDI QIDQ2822505zbMATH OpenOpenAlexFDO

Authors Ittoop Vergheese Puthoor, Simon J. Gay

Publication date 30 September 2016

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL http://eprints.gla.ac.uk/109016/7/109016.pdf

zbMATH Keywords

equational reasoningformal methodsoperational semanticsquantum computingquantum process calculusverification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantum computation (81P68) Quantum coding (general) (81P70) Quantum cryptography (quantum-theoretic aspects) (81P94) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Analysis of a quantum error correcting code using quantum process calculus
• Verifying quantum communication protocols with ground bisimulation
• Communicating quantum processes
• Techniques for Formal Modelling and Analysis of Quantum Systems
• Equivalence checking of quantum protocols

Cites work

• A syntactic approach to type soundness
• Analysis of a quantum error correcting code using quantum process calculus
• Bisimulation for quantum processes
• Branching bisimulation congruence for probabilistic systems
• Communicating quantum processes
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 7362463 (Why is no real title available?)
• Quantum process calculus for linear optical quantum computing
• Quantum secret sharing
• Types and typechecking for Communicating Quantum Processes
• Unconditional security in quantum cryptography

Cited in

(9)

• An axiomatization for quantum processes to unifying quantum and classical computing
• Verifying quantum communication protocols with ground bisimulation
• Correctness checking of a quantum protocol for reliable communications via feedback
• A process algebra for reasoning about quantum security
• Analysis of a quantum error correcting code using quantum process calculus
• Application of quantum process calculus to higher dimensional quantum protocols
• Communicating quantum processes
• Equivalence checking of quantum protocols
• Types and typechecking for Communicating Quantum Processes

This page was built for publication: Equational reasoning about quantum protocols

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