Local Reasoning for Global Convergence of Parameterized Rings | IEEE Conference Publication | IEEE Xplore