Por que tudo para quando todos esperam: Teoria do Deadlock, grafos de alocação de recursos, algoritmo do banqueiro e Livelock