Por que tudo para quando todos esperam: Teoria do Deadlock, grafos de alocação de recursos, algoritmo do banqueiro e Livelock
Teorema CAP e Sistemas Distribuídos (Trade-off de Consistência, Disponibilidade e Tolerância à Partição)