Parizotto, R., & de Mello, B. (2019). Uma abordagem para minimizar pontos de verificação inúteis em simulações otimistas distribuídas. In Anais do XLVI Seminário Integrado de Software e Hardware, (pp. 12-21). Porto Alegre: SBC. doi:10.5753/semish.2019.6563