Abstract state machines capture parallel algorithms.

Andreas Blass Yuri Gurevich

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

Keyphrases

parallel algorithm
parallel computation
parallel programming
shared memory
medial axis transform
parallel version
processor array
cluster of workstations
parallel computers
parallel implementations
combinatorial search problems