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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.