Quando um processo precisar entrar em uma região crítica, permanecerá bloqueado quando um outro processo já estiver nessa região.

Um processo fora da região crítica não poderá impedir outro processo de acessar essa região.

Dois processos nunca poderão estar na mesma região crítica.

Após um processo deixar a região crítica, outro processo deverá aguardar um determinado tempo para poder acessar essa mesma região.