De exclusão mútua: todo recurso está atribuído a exatamente um processo ou está disponível.

De segura e espera: os processos que estão segurando recursos concedidos anteriormente podem solicitar novos recursos.

De nenhuma preempção: os recursos previamente concedidos não podem ser tirados de um processo. Eles devem ser explicitamente liberados pelo processo que os está segurando.

De alocação de memória redundante: os processos não podem ocupar o mesmo endereço de memória no mesmo intervalo de tempo.

De espera circular: deve haver uma cadeia circular de dois ou mais processos, em que cada um está esperando um recurso segurado pelo próximo membro da cadeia.