Generalizing window flow control in bivariate network calculus to enable leftover service in the loop

The results of Chang et al. can be translated into the notation of σ-additive operators (see Chang (2000)). This paper's main result is a solution to the feedback equation for such operators. It generalizes present-day solutions and eventually allows to solve the feedback equation for leftover service descriptions inside the feedback loop.