Closure and convergence: a foundation of fault-tolerant computing | IEEE Journals & Magazine | IEEE Xplore