| Algoritmos distribuidos versus centralizados (ausência e estados globais e não determinismo). Modelos de Sistemas (síncronos versus assíncronos, message passing versus shared memory, hipóteses do ambiente). Ordem Parcial de Eventos. Prova de Propriedades (liveness e safety). Métodos e Topologias para Difusão (waves, anéis, árvores, etc. Complexidade (critérios e cálculo), Problemas de Coordenação Distribuida e Detecção de Estados Globais (snapshots, exclusão mútua, terminação, deadlock, eleição). Noções de Tolerância e Falhas. |