Abstract state machines capture parallel algorithms: Correction and extension.

Andreas Blass Yuri Gurevich

Published in: ACM Trans. Comput. Log. (2008)

Keyphrases

parallel algorithm
parallel computation
parallel programming
shared memory
discovery of association rules
parallel version
medial axis transform
combinatorial search problems
pc cluster
real time
database systems
orders of magnitude
parallel implementations
cluster of workstations