A program that handles Threads in a manner that they have to be organised, that finishes and has no starvation.