Verifying Strong Eventual Consistency in $\delta$-CRDTs

Taylor Blau

Conflict-free replicated data types (CRDTs) are a natural structure with which to communicate information about a shared computation in a distributed setting where coordination ove…