Deadlock-freedom in resource contentions

DOI10.1007/BF00289712zbMath0552.68018MaRDI QIDQ801672

Marina C. Chen, Martin Rem

Publication date: 1985

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

deadlock-freedomexpedient allocation policyscarce resources

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• Testing Deadlock-Freedom of Computer Systems
• Deadlock-Free Systems for a Bounded Number of Processes
• On Representatives of Subsets
• Prevention of system deadlocks
• An $n^{5/2} $ Algorithm for Maximum Matchings in Bipartite Graphs

This page was built for publication: Deadlock-freedom in resource contentions