Fiecare proces are propria secțiune critică. (Каждый процесс имеет свою собственную критическую секцию.)

Procesele sunt blocate și deblocate în funcție de condiții prestabilite. (Процессы блокируются и разблокируются в зависимости от заранее установленных условий.)

Resursele critice sunt protejate prin excludere mutuală. (Критические ресурсы защищаются через взаимное исключение.)

Procesele sunt rulate în paralel, fără a verifica condițiile. (Процессы выполняются параллельно без проверки условий.)