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