The FuzzyLog: A Partially Ordered Shared Log.
Causal memory: definitions, implementation, and programming