Local Reasoning for Global Convergence of Parameterized Rings.

Aly Farahat, Ali Ebnenasir

Browse the full ICDCS paper archive.