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
- Christos H. Papadimitriou. A theorem in database concurrency control. Journal of the ACM, 29(4):998-1006, October 1982.
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.