a)

procedure llenar(){
   while (TRUE) {
      P(com_llenar);
      if (puedo_llenar())
         llenar_botella();
      V(s);
   }
}

procedure tapar(){
   while (TRUE) {
      P(com_tapar);
      if (puedo_tapar())
         llenar_tapar();
      V(s);
   }
}

procedure algarrobo_cola(){
   INIT(s,0);
   INIT(com_tapar,1);
   INIT(com_llenar,1);
   cobegin
      llenar();
      tapar();
      avanzar();
   coend;
}