Journal of the ACM Bibliography

Categories and Subject Descriptors: D.4.1 [Operating Systems]: Process Management -- concurrency; H.2.4 [Database Management]: Systems -- transaction processing

General Terms: Algorithms, Theory

Additional Key Words and Phrases: Locking

Selected papers that cite this one

• Georg Lausen and Eljas Soisalon-Soininen. Safety by uninterpreted locks. Information and Computation, 117(1):37-49, 15 February 1995.

• Georg Lausen, Eljas Soisalon-Soininen, and Peter Widmayer. Pre-analysis locking. Information and Control, 70(2/3):193-215, August/September 1986.

• Christos H. Papadimitriou. Correction to ``A theorem in database concurrency control''. Journal of the ACM, 32(3):750, July 1985.

Selected references

• Christos H. Papadimitriou. The serializability of concurrent database updates. Journal of the ACM, 26(4):631-653, October 1979.

• Eugene W. Stark. Semaphore primitives and starvation-free mutual exclusion. Journal of the ACM, 29(4):1049-1072, October 1982.

• R. E. Stearns, P. M. Lewis II, and D. J. Rosenkrantz. Concurrency control for database systems. In 17th Annual Symposium on Foundations of Computer Science, pages 19-32, Houston, Texas, 25-27 October 1976. IEEE.

• Mihalis Yannakakis. Issues of correctness in database concurrency control by locking. In Conference Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computation, pages 363-367, Milwaukee, Wisconsin, 11-13 May 1981.

• Mihalis Yannakakis, C. H. Papadimitriou, and H. T. Kung. Locking policies: Safety and freedom from deadlock. In 20th Annual Symposium on Foundations of Computer Science, pages 286-297, San Juan, Puerto Rico, 29-31 October 1979. IEEE.

Shortcuts: