Modelling and simulation of quantum teleportation and dense coding using predicate/transition-nets

MaRDI QIDQ5506387zbMATH OpenFDO

Authors Kimmo Varpaaniemi, Leo Ojala

Publication date 28 January 2009

zbMATH Keywords

reachability analysis

Mathematics Subject Classification ID

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

Recommendations

• Techniques for Formal Modelling and Analysis of Quantum Systems
• Formalization \textit{of} quantum protocols using Coq
• Application of quantum process calculus to higher dimensional quantum protocols
• scientific article; zbMATH DE number 3892605
• Analysis of a quantum error correcting code using quantum process calculus

Describes a project that uses

Uses Software

• PROD

This page was built for publication: Modelling and simulation of quantum teleportation and dense coding using predicate/transition-nets

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