Semantics of transactional memory and automatic mutual exclusion.

Martín Abadi Andrew Birrell Tim Harris Michael Isard

Published in: ACM Trans. Program. Lang. Syst. (2011)

Keyphrases

mutual exclusion
long distance
temporal planning
transactional memory
computing systems
software engineering
signal processing