Unifying Probability

DOI10.1007/11768173_11MaRDI QIDQ5307481zbMATH OpenOpenAlexFDO

Authors Jifeng He, Jeff W. Sanders

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Quantum computation (81P68) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 3975969
• A unifying probability density function
• Uniform probability
• A unifying view on some problems in probability and statistics
• Unification of probability theory on time scales
• scientific article; zbMATH DE number 1005343
• Towards a unified theory of imprecise probability

Cited in

(7)

• Unification of probability theory on time scales
• A unification of probabilistic choice within a design-based model of reversible computation
• Unanimous subjective probabilities
• Elementary probability theory in the Eindhoven style
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Integrating stochastic reasoning into Event-B development
• Uniform probability

This page was built for publication: Unifying Probability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307481)