• DocumentCode
    1111245
  • Title

    Comments on "A distributed scheme for detecting communication deadlocks" by N. Natarajan

  • Author

    Liu Lingzhong

  • Author_Institution
    Dept. of Electron., Inner Mongolia Univ., Huhehot, China
  • Volume
    15
  • Issue
    7
  • fYear
    1989
  • fDate
    7/1/1989 12:00:00 AM
  • Firstpage
    926
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.29492
  • Filename
    29492
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1111245