A Generalisation of Stationary Distributions, and Probabilistic Program Algebra

DOI10.1016/S1571-0661(04)80967-8zbMath1260.68107OpenAlexW1992262483MaRDI QIDQ4917061

Annabelle McIver

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80967-8

zbMATH Keywords

Markov decision processesprobabilityMarkov processstationary distributiondemonic nondeterminismprobabilistic program semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Semantics of probabilistic programs
• Data refinement of predicate transformers
• A completeness theorem for Kleene algebras and the algebra of regular events
• Probabilistic models for the guarded command language
• Finite state Markovian decision processes
• Verification of Probabilistic Programs
• Temporal logics for the specification of performance and reliability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Generalisation of Stationary Distributions, and Probabilistic Program Algebra