Natural Quantum Operational Semantics with Predicates
From MaRDI portal
Publication:5324519
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
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
Uses Software
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
