Synthesizing CRDT

Synthesizing CRDTs from Sequential Data Types with Verified Lifting论文阅读

CRDT当所有副本都看到同样的操作集时，会转换成唯一的状态，而不需要协调通信