This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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 correspondence1<
Citation:
E. Best, F. Cristian, "Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs"," IEEE Transactions on Computers, vol. 34, no. 1, pp. 97-98, Jan. 1985, doi:10.1109/TC.1985.1676522
Usage of this product signifies your acceptance of the Terms of Use.