Operator algebras and the operational semantics of probabilistic languages

MaRDI QIDQ2863887zbMATH OpenFDO

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

zbMATH Keywords

\(C^*\)-algebralinear operatoroperational semanticsAF-algebraprobabilistic programming language

Mathematics Subject Classification ID

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)

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

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)