Compositional analysis for the Multi-Resource Server | IEEE Conference Publication | IEEE Xplore