Należy zdefiniować dwie operacje:

Zauważmy że rozwiązanie problemu dzielenie pasma implementuje, także specyfikację semafora uogólnionego. W tym wypadku wartość semafora to aktualnie wolna szerokość pasma, natomiast operacja PG(n) to procedura rezerwacji szerokości pasma, a procedura VG(n) to procedura zwalniania szerokości pasma.