Definition of the WorkQueue interface