Une solution au problème de la section critique.

utilse un processus controleur qui délivre les autorisations d'entrée en SC.

processus Pi
debut
tant que vrai faire debut
        emettre(demande,controleur);
        recevoir(aquittement,controleur);
        Section Critique;
        emettre(fin,controleur);
        Section Non Critique
        fin
fin

processus Controleur
debut
tant que vrai faire
        cas de 
        recevoir(demande,P1); emettre(aquittement,P1); recevoir(fin,P1);
        ou 
        recevoir(demande,P2); emettre(aquittement,P2); recevoir(fin,P2);
        ou 
        ...
        ou 
        recevoir(demande,Pn); emettre(aquittement,Pn); recevoir(fin,Pn);
        sac
fin