Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Safe states in banker-like resource allocation problems

From MaRDI portal
Publication:580968
Jump to:navigation, search

DOI10.1016/0890-5401(87)90002-2zbMATH Open0626.68017OpenAlexW2071730202MaRDI QIDQ580968FDOQ580968

Ruediger Valk, Dirk Hauschildt

Publication date: 1987

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(87)90002-2




Recommendations

  • scientific article; zbMATH DE number 3990882
  • The Banker's problem with precedences
  • scientific article; zbMATH DE number 3874587
  • scientific article
  • Design of Minimum-Cost Deadlock-Free Systems


zbMATH Keywords

minimal elementstime complexityPetri netMINoperating systemsSAFESORT


Mathematics Subject Classification ID

Theory of operating systems (68N25)


Cites Work

  • Title not available (Why is that?)
  • The residue of vector sets with applications to decidability problems in Petri nets
  • Title not available (Why is that?)
  • Comments on prevention of system deadlocks


Cited In (3)

  • The Banker's problem with precedences
  • The residue of vector sets with applications to decidability problems in Petri nets
  • Title not available (Why is that?)





This page was built for publication: Safe states in banker-like resource allocation problems

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:580968&oldid=12473712"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 30 January 2024, at 07:27. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki