Semaphore primitives and starvation-free mutual exclusion

DOI10.1145/322344.322352zbMath0492.68028OpenAlexW2085791625MaRDI QIDQ3954811

Eugene W. Stark

Publication date: 1982

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322344.322352

zbMATH Keywords

synchronizationsemanticsconcurrent programmingoperating systemslanguage constructs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

Nonexpressibility of fairness and signaling

This page was built for publication: Semaphore primitives and starvation-free mutual exclusion