The drinking philosophers problem (1984)

by K M Chandy, J Misra
Venue:ACM Trans. Program. Lang. Syst