Pages that link to "Item:Q1115173"
From MaRDI portal
The following pages link to Interpretations of recursion under unbounded nondeterminacy (Q1115173):
Displaying 9 items.
- Command algebras, recursion and program transformation (Q911748) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Deadlock and fairness in morphisms of transition systems (Q1105379) (← links)
- Nondeterminacy and recursion via stacks and games (Q1318704) (← links)
- Safety and progress of recursive procedures (Q1903075) (← links)
- Semantics of under-determined expressions (Q1911315) (← links)
- Relational semantics revisited (Q2810687) (← links)
- A category-theoretic semantics for unbounded indeterminacy (Q5887523) (← links)