Atomic actions
Redirect to:
Linearizability