BASE: Using abstraction to improve fault tolerance
Reaching Agreement in the Presence of Faults