Conflict-free replicated data types based on hybrid logical clocks for eventually consistent data stores.