Parizotto, Ricardo, E 		de Mello, Braulio.
" Uma abordagem para minimizar pontos de verificação inúteis em simulações otimistas distribuídas" <em>Anais do Seminário Integrado de Software e Hardware (SEMISH)</em> [Online], (9 julho 2019)