Weak Memory Models

Modeling Systems via Register Machines