Pages that link to "Item:Q5925822"
From MaRDI portal
The following pages link to Demonic, angelic and unbounded probabilistic choices in sequential programs (Q5925822):
Displayed 9 items.
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
- Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL (Q1395428) (← links)
- Quantitative solution of omega-regular games (Q1887716) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
- Isomorphism theorems between models of mixed choice (Q5360215) (← links)
- Partial correctness for probabilistic demonic programs (Q5958768) (← links)