Application of quantum process calculus to higher dimensional quantum protocols

MaRDI QIDQ4995142zbMATH OpenFDO

Authors Ittoop Vergheese Puthoor, Simon J. Gay

Publication date 23 June 2021

Full work available at URL https://arxiv.org/abs/1303.2896, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2012.2

Mathematics Subject Classification ID

Quantum computation (81P68) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Analysis of a quantum error correcting code using quantum process calculus
• Equational reasoning about quantum protocols
• QUANTUM COMMUNICATION COMPLEXITY PROTOCOLS BASED ON HIGHER-DIMENSIONAL ENTANGLED SYSTEMS
• Formalization \textit{of} quantum protocols using Coq
• Verifying quantum communication protocols with ground bisimulation

Cited in

(3)

• Modelling and simulation of quantum teleportation and dense coding using predicate/transition-nets
• Analysis of a quantum error correcting code using quantum process calculus
• Encodability criteria for quantum based systems

This page was built for publication: Application of quantum process calculus to higher dimensional quantum protocols

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