The following pages link to The Linear Algebra of UTP (Q3618831):
Displayed 6 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Normal design algebra (Q844885) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Conscriptions: A New Relational Model for Sequential Computations (Q3455648) (← links)