n Mutual Exclusion u At any time, at most one process can be in its critical section (CS) n Progress u Only processes that are in their entry section can be selected to enter their CS. This selection cannot be postponed indefinitely