Comments on Morris's starvation-free solution to the mutual exclusion problem

DOI10.1016/0020-0190(86)90049-9zbMath0601.68027OpenAlexW2088153216MaRDI QIDQ1081301

A. J. Van de Goor, J. K. Annot, M. D. Janssens

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0020-0190(86)90049-9

zbMATH Keywords

correctnesscritical sectionstarvationprocessorssemaphores

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cites Work

• A starvation-free solution to the mutual exclusion problem
• Guarded commands, nondeterminacy and formal derivation of programs
• Programming as a Discipline of Mathematical Nature

This page was built for publication: Comments on Morris's starvation-free solution to the mutual exclusion problem