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