Pages that link to "Item:Q371258"
From MaRDI portal
The following pages link to Retracted: Semantic domains for combining probability and non-determinism (Q371258):
Displayed 22 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- QRB, QFS, and the probabilistic powerdomain (Q283758) (← links)
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Semantics of non-deterministic possibility computation (Q1759727) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures (Q2490114) (← links)
- Combining effects: sum and tensor (Q2500483) (← 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)
- Lattice-valued Scott topology on dcpos (Q2971118) (← links)
- (Q4647095) (← links)
- Probabilistic Completion of Nondeterministic Models (Q5262931) (← links)
- Simulation Hemi-metrics between Infinite-State Stochastic Games (Q5458350) (← links)
- Prevision Domains and Convex Powercones (Q5458368) (← links)