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

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

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)

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

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)