Chandy and Jayadev Misra. The drinking philosophers problem (1984)

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