publicações selecionadas artigo de conferência As secure as possible eventual consistency: Work in progress 2017 documento Extending conflict free replicated datatypes fault models 2025