The following pages link to (Q4267174):
Displaying 5 items.
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- Axiomatization and characterization of BSP algorithms (Q2011205) (← links)
- (Q2753665) (← links)
- ASMs and Operational Algorithmic Completeness of Lambda Calculus (Q3586009) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901599) (← links)