Natural Quantum Operational Semantics with Predicates

DOI10.2478/V10006-008-0031-XMaRDI QIDQ5324519zbMATH OpenOpenAlexFDO

Authors Marek Sawerwain, Roman Gielerak

Publication date 3 August 2009

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Natural deduction for quantum logic
• Semantics for a quantum programming language by operator algebras
• Semantics for a quantum programming language by operator algebras
• scientific article; zbMATH DE number 5708042
• Quantum Predicative Programming
• A quantum computational semantics for epistemic logical operators. II: Semantics
• Quantum sortal predicates
• A quantum computational semantics for epistemic logical operators. I: Epistemic structures
• QUANTUM COMPUTATIONAL LOGICS AND FOCK SPACE SEMANTICS
• Quantum logic and operational quantum mechanics

Cites work

• scientific article; zbMATH DE number 3128586 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1256737 (Why is no real title available?)
• scientific article; zbMATH DE number 3378527 (Why is no real title available?)
• A partial order on classical and quantum states
• A structural approach to operational semantics
• An axiomatic basis for computer programming
• Bisimulation can't be traced
• Classical concepts in quantum programming
• Completely positive linear maps on complex matrices
• Experimental Realization of Teleporting an Unknown Pure Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels
• Experimental quantum teleportation
• GSOS and finite labelled transition systems
• Generalised quantum weakest preconditions
• On the completeness of the inductive assertion method
• On the mathematical structure of quantum measurement theory
• Progress in quantum algorithms
• Quantum computing
• Quantum theory: concepts and methods
• Quantum weakest preconditions
• Rapid solution of problems by quantum computation
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• The logic of quantum mechanics
• Towards a quantum programming language
• Über monotone Matrixfunktionen

Cited in

(4)

• scientific article; zbMATH DE number 5708042 (Why is no real title available?)
• Commutativity of quantum weakest preconditions
• Generalised quantum weakest preconditions
• Commutativity of quantum weakest liberal precondition and its properties

Describes a project that uses

Uses Software

• LanQ
• QPL

This page was built for publication: Natural Quantum Operational Semantics with Predicates

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