• Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso 

      Santos, Enrique Sampaio dos (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC-So, Câmpus Sorocaba, 03/11/2020)
      Distributed algorithms have been increasingly used because of commercial and technical factors, especially when the aim is to obtain scalability or high availability of data. Regarding high scalability, stands out the ...