- - - - CENAPAD-MGCO

A seguir: Exclusão Mútua Distribuída Acima: The Drinking Philosophers Problem Anterior: Algoritmo para Filósofos Sedentos

Conclusão

• Um problema de sincronização complexo, com a dificuldade adicional dos ambientes distribuídos, foi resolvido porque: estrutura de prova de correção foi concebida junto com o algoritmo