Characterizing Transactional Memory Consistency Conditions Using Observational Refinement.

Hagit Attiya Alexey Gotsman Sandeep Hans Noam Rinetzky

Published in: J. ACM (2018)

Keyphrases

real time
speculative execution
database
parallel computing
massively parallel
transactional memory