Final Version of Dining Philosophers