Please fill in your query. A complete syntax description you will find on the General Help page.
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.
WorldCat.org
Valid XHTML 1.0 Transitional Valid CSS!