Issue No. 01 - January (1985 vol. 34)
E. Best , GMD
In the above correspondence,1 A. Mili aims "to introduce the theoretical basis for the design and validation of self-checking programs." A theoretically sound basis is indeed needed for designing and validating robust fault-tolerant programs, and we follow progress made in this area with great interest. To our disappointment, we found that the formalism presented in the above correspondence<sup>1<
F. Cristian and E. Best, "Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs"," in IEEE Transactions on Computers, vol. 34, no. , pp. 97-98, 1985.