b)

procedure algarrobo_cola(){
   monitor cola:
      var:
         avanzart : bool;
         avanzarll : bool;
         x : condition;
      
      procedure avanzo_cintat(){
         avanzot = true;
         if(!avanzoll)
            x.wait;
         else{
            avanzar();
            x.signal;
            avanzot=false;
         }
      }     
      procedure avanzo_cintall(){
         avanzoll = true;
         if(!avanzot)
            x.wait;
         else{
            avanzar();
            x.signal;
            avanzoll=false;
         }
      }
      begin
          avanzoll=false;
          avanzot=false;
      end

procedure tapar(){
   while(true){
      if(puedo_tapar())
         tapar_botella();
      avanzar();
}
procedure llenar(){
   while(true){
      if(puedo_llenar())
         tapar_llenar();
      avanzar();
}