The following pages link to Normal design algebra (Q844885):
Displayed 6 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)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)