Pages that link to "Item:Q851128"
From MaRDI portal
The following pages link to Angelic nondeterminism in the unifying theories of programming (Q851128):
Displaying 5 items.
- Multirelations with infinite computations (Q406449) (← links)
- Mechanised support for sound refinement tactics (Q432151) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
