Pages that link to "Item:Q5313090"
From MaRDI portal
The following pages link to Mathematics of Program Construction (Q5313090):
Displaying 6 items.
- Terms with unbounded demonic and angelic nondeterminacy (Q870280) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Angelicism in the Theory of Reactive Processes (Q2814614) (← links)
- Distributive and completely distributive lattice extensions of ordered sets (Q4576001) (← links)