The following pages link to A. Rosenbusch (Q541216):
Displaying 3 items.
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
- (Q3091638) (← links)
