-------------------
Dining Philosophers
-------------------

See http://www.cs.utk.edu/~plank/plank/classes/cs560/560/notes/Dphil/lecture.html
