Adrian P. Keys

• Philosopher's workmate algorithms