Parizotto, Ricardo, and Braulio Adriano de Mello. "Uma abordagem para minimizar pontos de verificação inúteis em simulações otimistas distribuídas." Anais do XLVI Seminário Integrado de Software e Hardware, Belém, 2019. SBC, 2019, pp.12-21.