Service guarantees for joint scheduling and flow control

We consider a general mesh network with multiple traffic streams subject to window flow control on a per hop, per stream basis. Scheduling at each server is governed by "service curve" requirements. We establish lower bounds on the window sizes such that each stream receives pre-specified service guarantees.