Key points are not available for this paper at this time.
The CAP theorem is one example of a more general tradeoff between safety and liveness in unreliable systems. Viewing CAP in this context provides insight into the inherent tradeoffs and the manner in which they can be circumvented in practice.
Gilbert et al. (Wed,) studied this question.