a

if notified_u = false then
    perform procedure Notify_u;
end if
send <done> to v;


if requests_u > 0 then
    requests_u ← requests_u - 1;
    if requests_u = 0 then
        perform procedure Grant_u;
    end if
end if
send <ack> to v;