The following pages link to Normal design algebra (Q844885):
Displaying 8 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Automated reasoning for probabilistic sequential programs with theorem proving (Q2695373) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)