Title :
Comments on "A distributed scheme for detecting communication deadlocks" by N. Natarajan
Author_Institution :
Dept. of Electron., Inner Mongolia Univ., Huhehot, China
fDate :
7/1/1989 12:00:00 AM
Abstract :
A distributed scheme for detecting communication deadlocks and a correctness proof of the algorithm were given by N. Natarajan (see ibid., vol.SE-12, p.531-7 (1986)). It is shown in this correspondence that the proof is not strict.<>
Keywords :
distributed processing; communication deadlocks detection; correctness proof; distributed scheme; Microcomputers; Software design; System recovery;
Journal_Title :
Software Engineering, IEEE Transactions on
