Pages that link to "Item:Q1023294"

The following pages link to A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294):

Displayed 1 item.

• Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) ‎ (← links)