Ao meu orientador, Professor José Alves Marques, desejo manifestar o meu reconhecimento pelo apoio e crítica exigente que sempre demonstrou, os quais foram determinantes para a obtenção dos resultados apresentados neste documento.
Aos Engs. Pedro Sousa e André Zúquete, por terem lido e comentado várias versões da tese. Um obrigado especial ao Pedro, pela paciência para as discussões e pelas sugestões e críticas objectivas, que muito contribuiram para o melhoramento do texto e do trabalho.
Ao Eng. Luís Rodrigues e à Doutora Ellen Siegel por me terem ajudado num período de crise e de auto-dúvida feroz e também pelos meta-conselhos sobre como escrever um documento desta natureza. Obrigado também pelas críticas construtivas que permitiram uma abordagem completamente diferente.
Aos meus colegas do Grupo de Sistemas Distribuídos do INESC pelos seus comentários e sugestões, que muito contribuiram para o meu trabalho.
À Paula e à Madalena, pela ajuda prestada na finalização da tese, um grande obrigado.
À minha família, por ter acreditado e me ter apoiado. Qualquer agradecimento é inadequado.
Quero agradecer a todos quanto leram a versão da tese em papel e apontaram algumas ``deficiências'' ortográficas. Esta segunda edição, que difere da anterior apenas pela correcção daqueles erros, apenas existe em formato HTML.
Lisboa, Thu Jun 29 15:02:08 MET DST 1995
David Manuel Martins de Matos
to