Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction. - Masato Kitakami; Shunji Kubota; Hideo Ito (PRDC, 2001)