Semantics of transactional memory and automatic mutual exclusion.

Martín Abadi Andrew Birrell Tim Harris Michael Isard

Published in: POPL (2008)

Keyphrases

mutual exclusion
long distance
temporal planning
reinforcement learning
fine grained
massively parallel
search algorithm
parallel computing
parallel architectures
blue gene