Title: Philosopher's workmate algorithms