Journal of the ACM Bibliography
Eugene W. Stark. Semaphore
primitives and starvation-free mutual exclusion. Journal of the
ACM, 29(4):1049-1072, October 1982.
[BibTeX entry]
Categories and Subject Descriptors:
D.1.3 [Programming Techniques]: Concurrent Programming;
D.3.1 [Programming Languages]: Formal Definitions and
Theory -- semantics; D.3.3 [Programming
Languages]: Language Constructs and Features -- concurrent
programming structures; D.4.1 [Operating Systems]:
Process Management -- concurrency, mutual exclusion,
synchronization
General Terms:
Algorithms, Theory
Additional Key Words and Phrases:
Semaphores
Selected papers that cite this one
Selected references
- James E. Burns, Paul Jackson, Nancy A. Lynch, Michael J. Fischer, and
Gary L. Peterson. Data
requirements for implementation of N-process mutual exclusion
using a single shared variable. Journal of the ACM,
29(1):183-205, January 1982.
- Thomas W. Doeppner, Jr. On abstractions of parallel
programs. In Conference Record of the Eighth Annual ACM
Symposium on Theory of Computing, pages 65-72, Hershey,
Pennsylvania, 3-5 May 1976.
Shortcuts: