1. 2

If nothing else, the unique (as far as I’ve seen) use of icons for things like “uploaded” and “liked” makes it seem more approachable (well, at least until one gets to the theorems…).

Abstracted from the abstract:

Theoretical results state that causal consistency is one of the strongest consistency guarantees that is possible under these requirements, and many practical systems provide causally consistent key-value stores. In this paper, we present a framework called Chapar for modular verification of causal consistency for replicated key-value store implementations and their client programs.