arXiv 2001-09-03 EN On the generalized dining philosophers problem Herescu, Oltea Mihaela · Palamidessi, Catuscia