Propriétés de l’exclusion Mutuelle
1. Un seul processus en SC;
2. Un processus qui veut entrer en SC ne doit pas attendre qu’un autre processus passe avant lui pour avoir le droit.
3. Un processus désirant entrer en SC y entre au bout d ’un temps fini; pas de privation d’y entrer vis à vis d ’un processus