Title :
Locking policies: Safety and freedom from deadlock
Author :
Yannakakis, Mihalis ; Papadimitriou, C.P. ; Kung, H.T.
Keywords :
Bioreactors; Concurrency control; Concurrent computing; Contracts; Protection; Safety; System recovery; Tellurium; Tin; Transaction databases;
Conference_Titel :
Foundations of Computer Science, 1979., 20th Annual Symposium on
Conference_Location :
San Juan, Puerto Rico
DOI :
10.1109/SFCS.1979.22
