Pages that link to "Item:Q2863831"
From MaRDI portal
The following pages link to Angelic nondeterminism and unifying theories of programming (Q2863831):
Displaying 5 items.
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (Q2948549) (← links)
- Lazy UTP (Q3585024) (← links)
- Mathematics of Program Construction (Q5313090) (← links)