A dining philosophers implementation in python