Unifying Probability

DOI10.1007/11768173_11zbMATH Open1186.68197OpenAlexW2911821966MaRDI QIDQ5307481FDOQ5307481

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

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

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)

Cited In (6)

• 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

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)