Each operation has uniq id. Each node has own log with autoincremented op counter. According to topology rules. Each node tries to fetch new parts of remote logs with new ids from other nodes and apply to local state. Domain allows to express most operations in order independent manner. And for rest it's possible to use last op wins.