A generalized algorithm for evaluating distributed-program reliability | IEEE Journals & Magazine | IEEE Xplore