(The dining philosopher's problem is described here.)
I'm having trouble understanding whether or not the philosopher's act simultaneously. Do they all take one action simultaneously, then take their next action simultaneously? Or do they takes turns taking one action?
Is there a formal statement of the problem somewhere or a reduction of it to something that can be stated more rigorously?