WEBER, Andréa; DUARTE JR., Elias Procóprio; FONSECA, Keiko Verônica Ono. Alternative specification and correctness proofs of the distributed network reachability algorithm DOI 10.5752/P.2316-9451.2012v1n1p5. Abakós, Belo Horizonte, v. 1, n. 1, p. 5–27, 2012. DOI: 10.5752/P.2316-9451.2012V1N1P5. Disponível em: https://periodicos.pucminas.br/abakos/article/view/P.2316-9451.2012v1n1p5. Acesso em: 10 set. 2025.