Natural Quantum Operational Semantics with Predicates

DOI10.2478/v10006-008-0031-xzbMath1200.68118MaRDI QIDQ5324519

Roman Gielerak, Marek Sawerwain

Publication date: 3 August 2009

Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/207890

zbMATH Keywords

quantum computation; quantum predicate; quantum labelled transition systems

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

81P68: Quantum computation

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Generalised quantum weakest preconditions

Uses Software

• QPL
• LanQ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the mathematical structure of quantum measurement theory
• Generalised quantum weakest preconditions
• Completely positive linear maps on complex matrices
• On the completeness of the inductive assertion method
• GSOS and finite labelled transition systems
• Über monotone Matrixfunktionen
• A structural approach to operational semantics
• Progress in quantum algorithms
• Classical concepts in quantum programming
• The logic of quantum mechanics
• A Partial Order on Classical and Quantum States
• Rapid solution of problems by quantum computation
• Bisimulation can't be traced
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Experimental Realization of Teleporting an Unknown Pure Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels
• Towards a quantum programming language
• Experimental quantum teleportation
• Quantum weakest preconditions
• An axiomatic basis for computer programming
• Quantum computing
• Quantum theory: concepts and methods