Limitations of Highly-Available Eventually-Consistent Data Stores
Causal memory: definitions, implementation, and programming