Independence property
Other processes outside of the critical section should not block the process within. Otherwise this leads to deadlock.
Other processes outside of the critical section should not block the process within. Otherwise this leads to deadlock.