Pages that link to "Item:Q1023294"
From MaRDI portal
The following pages link to A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294):
Displaying 3 items.
- 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)
- Healthiness conditions for predicate transformers (Q5971403) (← links)
