Pages that link to "Item:Q1115173"
From MaRDI portal
The following pages link to Interpretations of recursion under unbounded nondeterminacy (Q1115173):
Displaying 6 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)
- Safety and progress of recursive procedures (Q1903075) (← links)
- Relational Semantics Revisited (Q2810687) (← links)
