Ricardo Parizotto and Braulio de Mello. 2019.
 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>, julho 09, 2019, Belém, Brasil. SBC, Porto Alegre, Brasil, 12-21. DOI: <a href="https://doi.org/10.5753/semish.2019.6563">https://doi.org/10.5753/semish.2019.6563</a>.