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 is missing.