CRDTs Building on our Gossip-based broadcast server, we develop a family of totally-available CRDT servers. G-set Counters