Natural Quantum Operational Semantics with Predicates

DOI10.2478/v10006-008-0031-xzbMath1200.68118OpenAlexW2137812635MaRDI 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 computationquantum predicatequantum labelled transition systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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