Deadlock-Free Systems for a Bounded Number of Processes

DOI10.1109/TC.1982.1675974MaRDI QIDQ3938474zbMATH OpenOpenAlexFDO

Authors 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

algorithm complexitydeadlock preventionNP-completeoperating systemresource allocation

Mathematics Subject Classification ID

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

Cited in

(1)

• Deadlock-freedom in resource contentions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3938474)