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