Application of quantum process calculus to higher dimensional quantum protocols

zbMATH Open1464.81019arXiv1303.2896MaRDI QIDQ4995142FDOQ4995142

Authors: Ittoop Vergheese Puthoor, Simon J. Gay 

Publication date: 23 June 2021

Full work available at URL: https://arxiv.org/abs/1303.2896

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

Mathematics Subject Classification ID

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

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)