Pages that link to "Item:Q3575272"
From MaRDI portal
The following pages link to Unifying Theories of Programming That Distinguish Nontermination and Abort (Q3575272):
Displayed 8 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Unifying theories of time with generalised reactive processes (Q1708268) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- Conscriptions: A New Relational Model for Sequential Computations (Q3455648) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)