Evaluation Criteria for Process Synchronization (1975)

by R J Lipton, L Snyder, Y Zalcstein
Venue:Proc. IEEE Sagamore Conf. on Parallel Processing