The POLog contains only the set of timestamped operations
The state of the CRDT that contains stable operations (non-timestamped) or a "specialized implementation according to the domain" e.g., a bitmap for dense sets of integers in an AWSet
The POLog contains only the set of timestamped operations
The state of the CRDT that contains stable operations (non-timestamped) or a "specialized implementation according to the domain" e.g., a bitmap for dense sets of integers in an AWSet
A pure op-based CRDT wich state is splitted in two componentes. A map of timestamps to operations (the POLog) and a plain set of stable operations or a specialized implementation (the state) P(O) × (T ֒→ O)
state type
The POLog contains only the set of timestamped operations
The state of the CRDT that contains stable operations (non-timestamped) or a "specialized implementation according to the domain" e.g., a bitmap for dense sets of integers in an AWSet