Pages that link to "Item:Q3636909"
From MaRDI portal
The following pages link to Predicate transformers for extended probability and non-determinism (Q3636909):
Displaying 11 items.
- Semantic domains for combining probability and non-determinism (Q371259) (← links)
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
- A predicate transformer for the progress property `to-always' (Q1377323) (← links)
- Weak topologies and compactness in asymmetric functional analysis (Q2017854) (← links)
- Large Scale Inference of Deterministic Transductions: Tenjinno Problem 1 (Q3541866) (← links)
- De Groot duality and models of choice: angels, demons and nature (Q3559970) (← links)
- Isomorphism theorems between models of mixed choice (Q5360215) (← links)
- Demonic, angelic and unbounded probabilistic choices in sequential programs (Q5925822) (← links)
- Healthiness conditions for predicate transformers (Q5971403) (← links)