M. Santos and S. Gorender. " Um algoritmo de Membership para o modelo Síncrono Particionado (SPA) de Sistemas Distribuídos com particionamento forte", in Anais do XXII Workshop de Testes e Tolerância a Falhas, Uberlândia, 2021, pp. 43-56, doi: https://doi.org/10.5753/wtf.2021.17203.