vide (0,vide) et plein (n,vide)
Processus producteur
debut
tant que vrai faire debut
wait(plein);
deposer(message);
signal(vide);
fin
fin
Processus consommateur
debut
tant que vrai faire debut
wait(vide);
retirer(message);
signal(plein);
fin
fin