Eventual consistency

A guarantee that replicas converge if updates stop and relevant messages are eventually delivered.