On starvation and some related issues

DOI10.1016/0020-0190(91)90039-KMaRDI QIDQ751268zbMATH OpenOpenAlexWikidataFDO

Authors Władysław M. Turski

Publication date 1991

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(91)90039-k

zbMATH Keywords

concurrencyproblem of dining philosophersprogram specificationsoftware reliabilitysynchronization

Mathematics Subject Classification ID

Theory of software (68N99) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• THE CONTROL OF STARVATION
• scientific article; zbMATH DE number 5019549
• Comments on Morris's starvation-free solution to the mutual exclusion problem
• False Deadlock Detection in Distributed Systems
• The mutual exclusion problem

Cites work

• On specification of multiprocessor computing

Cited in

(2)

• THE CONTROL OF STARVATION
• Starvation survival and body composition in mammals with particular reference to Homo Sapiens

This page was built for publication: On starvation and some related issues

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