PARIZOTTO, Ricardo; DE MELLO, Braulio Adriano. Uma abordagem para minimizar pontos de verificação inúteis em simulações otimistas distribuídas. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE (SEMISH), 46. , 2019, Belém. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2019 . p. 12-21. ISSN 2595-6205. DOI: https://doi.org/10.5753/semish.2019.6563.