Improved Time Bounds for Linearizable Implementations of Abstract Data Types
Perspectives on the CAP Theorem