Equational Reasoning About Quantum Protocols

DOI10.1007/978-3-319-20860-2_10zbMath1464.81018OpenAlexW1810325849MaRDI QIDQ2822505

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

verificationoperational semanticsequational reasoningformal methodsquantum computingquantum process calculus

Mathematics Subject Classification ID

Quantum computation (81P68) 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) Authentication, digital signatures and secret sharing (94A62) Quantum coding (general) (81P70) Quantum cryptography (quantum-theoretic aspects) (81P94)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A syntactic approach to type soundness
• Quantum Process Calculus for Linear Optical Quantum Computing
• Unconditional security in quantum cryptography
• Communicating quantum processes
• Quantum secret sharing
• Bisimulation for quantum processes
• Branching Bisimulation Congruence for Probabilistic Systems
• Types and typechecking for Communicating Quantum Processes

This page was built for publication: Equational Reasoning About Quantum Protocols