Techniques for Formal Modelling and Analysis of Quantum Systems

DOI10.1007/978-3-642-38164-5_18zbMath1264.81073MaRDI QIDQ4922086

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

68Q60: Specification and verification (program logics, model checking, etc.)

81P45: Quantum information, communication, networks (quantum-theoretic aspects)

81P94: Quantum cryptography (quantum-theoretic aspects)

Uses Software

• QPL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model checking quantum Markov chains
• Weakly complete axiomatization of exogenous quantum propositional logic
• An algebra of quantum processes
• Unconditional security in quantum cryptography
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Towards a quantum programming language
• Communicating quantum processes
• Equivalence Checking of Quantum Protocols
• Bisimulation for quantum processes
• Branching Bisimulation Congruence for Probabilistic Systems
• Types and typechecking for Communicating Quantum Processes
• Relations among quantum processes: bisimilarity and congruence