- Mutually exclusive
- Progress — If no process is in its' CS, the selection of the next process to enter its' CS cannot wait indefinitely.
- Bounded Waiting — Some bound exists on the # of programs which can enter their CS after another program has requested to enter its' CS, before this request is granted.
