Comments on ’A Distributed Scheme for Detecting Communication Deadlocks’ by N. Natarajan. (English)
IEEE Transactions on Software Engineering 15, No.07, 926 (1989).
Summary: A distributed scheme for detecting communication deadlocks and a correctness proof of the algorithm were given by N. Natarajan. It is shown in this correspondence that the proof is not strict.