Dining philosophers

Summary