Pages that link to "Item:Q851128"
From MaRDI portal
The following pages link to Angelic nondeterminism in the unifying theories of programming (Q851128):
Displaying 9 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)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- Angelicism in the Theory of Reactive Processes (Q2814614) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Taming Multirelations (Q5278188) (← links)
