A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
The fault tolerance theories of Arora and Kulkarni  and of Jhumka et al.  view a fault-tolerant program as the result of composing a fault-intolerant program with fault tolerance components called detectors and correctors. At their core, the theories assume that the correctness specifications under consideration are fusion closed. In general, fusion closure of specifications can be achieved by adding history variables to the program. However, addition of history variables causes andoi:10.1007/978-3-540-30206-3_14 fatcat:qtdf6nmo2vb3ha2dbjiimshedu