R. Parizotto and B. de Mello.
"Uma abordagem para minimizar pontos de verificação inúteis em simulações otimistas distribuídas", in <em>Anais do XLVI Seminário Integrado de Software e Hardware</em>, Belém, 2019, pp. 12-21, doi: <a href="https://doi.org/10.5753/semish.2019.6563">https://doi.org/10.5753/semish.2019.6563</a>.