publicações selecionadas artigo académico COMPOSITION IN STATE-BASED REPLICATED DATA TYPES. Bulletin of the European Association for Theoretical Computer Science. 2017
