A dining philosophers algorithm with polynomial response time | IEEE Conference Publication | IEEE Xplore