D-RES: Correct transitive distributed service sharing | IEEE Conference Publication | IEEE Xplore