“The question then is: What general principle tells us when to use CRDTs and friends, and when stronger guarantees such as consensus are needed? The CALM theorem provides a precise answer to this question: Coordination can be avoided as long as the program is logically monotonic.“
https://queue.acm.org/detail.cfm?id=3546931