Fast RMWs for TSO: semantics and implementation.

Bharghava Rajaram Vijay Nagarajan Susmit Sarkar Marco Elver

Published in: PLDI (2013)

Keyphrases

logic programming
semantic information
implementation issues
knowledge base
case study
multi agent systems
general purpose