Peterson Wikipedia

 //'' dichiarazione delle variabili globali comuni''
 boolean in1 = false, in2 = false;
 int turno;

 // processo #1
 Process CS1 {
     while(1) {
         in1 = true;
         turno = 2;
         while (in2 && turno == 2)
            ; // finché è il turno del processo #2, il processo #1 rimane all'interno del while
         <sezione critica 1>
         in1 = false;
         <sezione non critica 1>
     }
 }

 // processo #2
 Process CS2 {
     while(1) {
         in2 = true;
         turno = 1;
         while (in1 && turno == 1)
            ; // finché è il turno del processo #1, il processo #2 rimane all'interno del while
         <sezione critica 2>
         in2 = false;
         <sezione non critica 2>
      }
 }