Brief Announcement: The Only Undoable CRDTs are Counters

PODC 2020