Pages that link to "Item:Q313981"
From MaRDI portal
The following pages link to A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981):
Displaying 11 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)
- Axiomatization and characterization of BSP algorithms (Q2011205) (← links)
- ASM specification and refinement of a quantum algorithm (Q2117586) (← links)
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- A Logic for Reflective ASMs (Q5040368) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic (Q5881450) (← links)
- Capturing Membrane Computing by ASMs (Q5881453) (← links)
