A good index resource on consistency models, their guarentees, proofs, origins, etc.
Consistency Models