Pages that link to "Item:Q371259"

The following pages link to Semantic domains for combining probability and non-determinism (Q371259):

Displaying 23 items.

• Layout randomization and nondeterminism (Q265789) (← links)
• Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
• The probabilistic powerdomain from a topological viewpoint (Q684027) (← links)
• In memoriam: Klaus Keimel (1939--2017) (Q1644726) (← links)
• A monad for randomized algorithms (Q1744376) (← links)
• Weak topologies and compactness in asymmetric functional analysis (Q2017854) (← links)
• A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
• Anatomy of a domain of continuous random variables. I (Q2253185) (← links)
• Probabilistic NetKAT (Q2802486) (← links)
• Data Refinement with Probability in Mind (Q2994495) (← links)
• A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222) (← links)
• (Q4611384) (← links)
• (Q4636823) (← links)
• Anatomy of a Domain of Continuous Random Variables II (Q4922084) (← links)
• (Q4969299) (← links)
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
• Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
• (Q5094151) (← links)
• A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
• Isomorphism theorems between models of mixed choice (Q5360215) (← links)
• Layout Randomization and Nondeterminism (Q5418953) (← links)
• Healthiness conditions for predicate transformers (Q5971403) (← links)
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)