Unifying Probability
From MaRDI portal
Publication:5307481
DOI10.1007/11768173_11zbMath1186.68197OpenAlexW2911821966MaRDI QIDQ5307481
Publication date: 14 September 2007
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11768173_11
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Cryptography (94A60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (3)
A unification of probabilistic choice within a design-based model of reversible computation ⋮ Integrating stochastic reasoning into Event-B development ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
This page was built for publication: Unifying Probability
