So the modified algorithm will be as follows. When the user clicks elevator, it first sends a distributed query to all browsers and each browser replies with 0, if elevator is not being used, or 1 when it is used. After the polling is done, it sums all responses. If sum_resp_elev<8:move() else
Ring_alarm()