Pages that link to "Item:Q5267442"
From MaRDI portal
The following pages link to Abstract state machines capture parallel algorithms (Q5267442):
Displaying 12 items.
- Concurrent abstract state machines (Q303691) (← links)
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- Information systems in modeling interactive computations on granules (Q642541) (← links)
- Can abstract state machines be useful in language theory? (Q880169) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Axiomatization and characterization of BSP algorithms (Q2011205) (← links)
- ASM specification and refinement of a quantum algorithm (Q2117586) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- What Is an Algorithm? (Q2891359) (← links)
- Software science view on quantum circuit algorithms (Q6040659) (← links)
