Pages that link to "Item:Q851128"
From MaRDI portal
The following pages link to Angelic nondeterminism in the unifying theories of programming (Q851128):
Displaying 14 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 angelic and demonic nondeterminism with multirelations (Q870278) (← 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)
- Angelic nondeterminism and unifying theories of programming (Q2863831) (← links)
- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (Q2948549) (← links)
- Taming Multirelations (Q5278188) (← links)
- Mathematics of Program Construction (Q5313090) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)