Pages that link to "Item:Q5453496"
From MaRDI portal
The following pages link to Interactive Small-Step Algorithms I: Axiomatization (Q5453496):
Displaying 7 items.
- Concurrent abstract state machines (Q303691) (← links)
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- Reactive Turing machines (Q393091) (← links)
- What Is an Algorithm? (Q2891359) (← links)
- Reactive Turing Machines (Q3088297) (← links)
- Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)
- Software science view on quantum circuit algorithms (Q6040659) (← links)
