Pages that link to "Item:Q5466795"
From MaRDI portal
The following pages link to Distributing probability over non-determinism (Q5466795):
Displaying 50 items.
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- Extending algebraic operations to D-completions (Q418818) (← links)
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Factorisations of distributive laws (Q898181) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- A monad for randomized algorithms (Q1744376) (← links)
- Deterministic concurrent strategies (Q1941878) (← links)
- A unification of probabilistic choice within a design-based model of reversible computation (Q1941891) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Lattices do not distribute over powerset (Q2200477) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Trust in event structures (Q2253171) (← links)
- Causality in physics and computation (Q2253173) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Anatomy of a domain of continuous random variables. I (Q2253185) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
- Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems (Q2873666) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Data Refinement with Probability in Mind (Q2994495) (← links)
- (Q3121518) (← links)
- Categories of Empirical Models (Q3385639) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)
- Anatomy of a Domain of Continuous Random Variables II (Q4922084) (← links)
- (Q5019656) (← links)
- (Q5028467) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- (Q5089025) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5094151) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- (Q5111636) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
- (Q5155671) (← links)
- Probabilistic Completion of Nondeterministic Models (Q5262931) (← links)
- Conditioning in probabilistic programming (Q5971400) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- Bunch theory: axioms, logic, applications and model (Q6561347) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)
- Monads for measurable queries in probabilistic databases (Q6653746) (← links)
