@article{Fajstrup_Raussen_1996, title={Detecting Deadlocks in Concurrent Systems}, volume={3}, url={https://tidsskrift.dk/brics/article/view/19978}, DOI={10.7146/brics.v3i16.19978}, abstractNote={<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>}, number={16}, journal={BRICS Report Series}, author={Fajstrup, Lisbeth and Raussen, Martin}, year={1996}, month={Jan.} }