Chandy and Jayadev Misra, “The drinking philosopher’s problem (1984)

by K Mani
Venue:ACM Transactions on Programming Languages and Systems