Parizotto, R., & de Mello, B. 2019 jul 9. Uma abordagem para minimizar pontos de verificação inúteis em simulações otimistas distribuídas. Anais do Seminário Integrado de Software e Hardware (SEMISH). [Online] :