Control Independence Using Dual Renaming | IEEE Conference Publication | IEEE Xplore