un proces, care a cerut intrarea într-o secțiune critică nu trebuie să fie privat de acest drept (adică, să aștepte un timp infinit (presupunând, că toate procesele au aceeași prioritate)),  процесс, требующий входа в критическую секцию, не должен быть лишен этого права (т. е. ждать бесконечное количество времени (при условии, что все процессы имеют одинаковый приоритет)),

dacă în secțiunea critică nu se află vreun proces, nici un proces nu trebuie să fie blocat de mecanismul excluderii mutuale,  при отсутствии процесса в критической секции ни один процесс не должен блокироваться механизмом взаимного исключения

la fiecare moment de timp cel mult un proces execută secțiunea critică, в каждый момент времени не более одного процесса выполняет критическую секцию,

prologul şi epilogul trebuie să fie identice pentru toate procesele şi independente de numărul lor. пролог и эпилог должны быть идентичны для всех процессов и не зависеть от их количества.

soluția trebuie să rămână validă şi în cazul unor defecte în unul sau în mai multe procese, care se află în afara secțiunii critice, решение должно оставаться в силе даже в случае дефектов в одном или нескольких процессах, исполняющихся за пределы критического участка

un proces, care a cerut intrarea într-o secțiune critică nu trebuie să fie privat de acest drept (adică, să aștepte un timp infinit (presupunând, că toate procesele au aceeași prioritate)),  процесс, требующий входа в критическую секцию, не должен быть лишен этого права (т. е. ждать бесконечное количество времени (при условии, что все процессы имеют одинаковый приоритет)),

dacă în secțiunea critică nu se află vreun proces, nici un proces nu trebuie să fie blocat de mecanismul excluderii mutuale,  при отсутствии процесса в критической секции ни один процесс не должен блокироваться механизмом взаимного исключения

la fiecare moment de timp cel mult un proces execută secțiunea critică, в каждый момент времени не более одного процесса выполняет критическую секцию,

prologul şi epilogul trebuie să fie identice pentru toate procesele şi independente de numărul lor. пролог и эпилог должны быть идентичны для всех процессов и не зависеть от их количества.

soluția trebuie să rămână validă şi în cazul unor defecte în unul sau în mai multe procese, care se află în afara secțiunii critice, решение должно оставаться в силе даже в случае дефектов в одном или нескольких процессах, исполняющихся за пределы критического участка