Application of TLRO to dining philosophers problem. - Anup Kumar Bandyopadhyay; Nibedita Lenka (ACM SIGSOFT Softw. Eng. Notes, 2010)