Application of Residuation Theory in Network Calculus | IEEE Conference Publication | IEEE Xplore