Operator algebras and the operational semantics of probabilistic languages
zbMATH Open1276.68050MaRDI QIDQ2863887FDOQ2863887
Authors: Alessandra Di Pierro, Herbert Wiklicky 
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600404X?np=y
Recommendations
- Semantics for a quantum programming language by operator algebras
- Linear Structures for Concurrency in Probabilistic Programming Languages
- Semantics for a quantum programming language by operator algebras
- Semantics of probabilistic programs: a weak limit approach
- An algebraic theory of Markov processes
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
Cited In (7)
- Reversible monadic computing
- Semantics of probabilistic programs: a weak limit approach
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras
- Domains of commutative C-subalgebras
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Semantics for a quantum programming language by operator algebras
- Semantics for a quantum programming language by operator algebras
This page was built for publication: Operator algebras and the operational semantics of probabilistic languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863887)
