Detecção de propriedades estaveis em sistemas distribuidos - Craveiro, Gisele da Silva (1998)
Orientador: Ricardo de Oliveira Anido