DOCS: Dining philosophers, smokers