The following pages link to Concurrent abstract state machines (Q303691):
Displaying 9 items.
- 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)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- A Characterization of Distributed ASMs with Partial-Order Runs (Q5040367) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- Capturing Membrane Computing by ASMs (Q5881453) (← links)
