Semaphore primitives and starvation-free mutual exclusion
From MaRDI portal
Publication:3954811
DOI10.1145/322344.322352zbMath0492.68028OpenAlexW2085791625MaRDI QIDQ3954811
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
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (1)
This page was built for publication: Semaphore primitives and starvation-free mutual exclusion