The following pages link to Concurrent abstract state machines (Q303691):
Displaying 5 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)
