Highly Available Transactions: Virtues and Limitations
Causal memory: definitions, implementation, and programming