Pages that link to "Item:Q5277808"
From MaRDI portal
The following pages link to Abstract state machines capture parallel algorithms (Q5277808):
Displaying 7 items.
- Concurrent abstract state machines (Q303691) (← links)
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- ASM specification and refinement of a quantum algorithm (Q2117586) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
