Techniques for Formal Modelling and Analysis of Quantum Systems

DOI10.1007/978-3-642-38164-5_18MaRDI QIDQ4922086zbMATH OpenOpenAlexFDO

Authors Rajagopal Nagarajan, Simon J. Gay

Publication date 28 May 2013

Published in Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38164-5_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Quantum cryptography (quantum-theoretic aspects) (81P94)

Recommendations

• Model checking quantum systems. Principles and algorithms
• Quantum system modelling
• Some formal tools for analyzing quantum automata.
• Methodology of analytic and computational studies on quantum systems
• Model Checking for Verification of Quantum Circuits
• Model-checking linear-time properties of quantum systems
• Formal Concept Analysis and Structures Underlying Quantum Logics
• Modelling, state observation and diagnosis of quantised systems
• Modal deduction systems for quantum state transformations

Cites work

• scientific article; zbMATH DE number 5667324 (Why is no real title available?)
• scientific article; zbMATH DE number 1256737 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 799789 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• An algebra of quantum processes
• Bisimulation for quantum processes
• Branching bisimulation congruence for probabilistic systems
• Communicating quantum processes
• Equivalence checking of quantum protocols
• Model checking quantum Markov chains
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• Relations among quantum processes: bisimilarity and congruence
• Specification and verification of quantum protocols
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Towards a quantum programming language
• Types and typechecking for Communicating Quantum Processes
• Unconditional security in quantum cryptography
• Weakly complete axiomatization of exogenous quantum propositional logic

Cited in

(4)

• Modelling and simulation of quantum teleportation and dense coding using predicate/transition-nets
• Analysis of a quantum error correcting code using quantum process calculus
• Specification and verification of quantum protocols
• Equational reasoning about quantum protocols

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Techniques for Formal Modelling and Analysis of Quantum Systems

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