Before revision:  Specifically, state-based CRDTs achieve this by sharing local state changes through shipping the entire state, that is then merged to other replicas with an idempotent, associative, and commutative join operation, ensuring convergence.
After revision:  Specifically, state-based CRDTs ensure convergence through disseminating the en- tire state, that is then merged to other replicas with an idempotent, associative, and commutative join operation, ensuring convergence.