A distributed deadlock detection algorithm: Distributed graph reconstruction algorithm
From MaRDI portal
Publication:1119017
DOI10.1016/0020-0190(89)90202-0zbMath0669.68022OpenAlexW2038880851MaRDI QIDQ1119017
Dongmyun Lee, Donghyeon Park, Kyu Ho Park, Gyuyoun Song, Myunghwan Kim
Publication date: 1989
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(89)90202-0
Paths and cycles (05C38) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Theory of software (68N99) Algorithms in computer science (68W99)
Related Items (1)
This page was built for publication: A distributed deadlock detection algorithm: Distributed graph reconstruction algorithm