Deadlock-Free Systems for a Bounded Number of Processes

DOI10.1109/TC.1982.1675974zbMath0479.68023OpenAlexW1887018204MaRDI QIDQ3938474

Toshihide Ibaraki, Tsunehiko Kameda

Publication date: 1982

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.1982.1675974

zbMATH Keywords

resource allocationNP-completealgorithm complexitydeadlock preventionoperating system

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of operating systems (68N25)

Related Items (1)

Deadlock-freedom in resource contentions

This page was built for publication: Deadlock-Free Systems for a Bounded Number of Processes