TY - JOUR AU - Fajstrup, Lisbeth AU - Raussen, Martin PY - 1996/01/16 Y2 - 2024/03/29 TI - Detecting Deadlocks in Concurrent Systems JF - BRICS Report Series JA - BRICS VL - 3 IS - 16 SE - Articles DO - 10.7146/brics.v3i16.19978 UR - https://tidsskrift.dk/brics/article/view/19978 SP - AB - <p>We use a geometric description for deadlocks occurring in scheduling<br />problems for concurrent systems to construct a partial order and hence a directed graph, in which the local maxima correspond to deadlocks. Algorithms finding deadlocks are described and assessed.</p><p>Keywords: deadlock, partial order, search algorithm, concurrency, distributed<br />systems.</p> ER -