Sobre Deadlocks e sua Resolução: dos Modelos de Grafos de Espera à Complexidade Computacional (Orientação conjunta com U. S. Souza) Documento