Una posible implementación del tipo abstracto semáforo es con tareas Ada.