Principles of Eventual Consistency

Examines both the what and the how of consistency in distributed systems. The book provides the reader with tools for reasoning about consistency of protocols. The emphasis is on using basic mathematical techniques to describe a wide variety of consistency guarantees and to define protocols.