Pages that link to "Item:Q2347906"
From MaRDI portal
The following pages link to Infinite executions of lazy and strict computations (Q2347906):
Displaying 6 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
- Lazy UTP (Q3585024) (← links)
- Extended Conscriptions Algebraically (Q5410482) (← links)