Local Reasoning for Global Convergence of Parameterized Rings

Aly Farahat, Ali Ebnenasir. Local Reasoning for Global Convergence of Parameterized Rings. In 2012 IEEE 32nd International Conference on Distributed Computing Systems, Macau, China, June 18-21, 2012. pages 496-505, IEEE, 2012. [doi]

Abstract

Abstract is missing.