Types of Schedules

In this chapter we state the formal definitions of different types of schedules. The original work can be found in [111], where beside the points to be explained here a set of examples brings the necessity of more formal definitions into focus. The schedules we are considering are the semi-active, the active and the non-delay schedules, where the latter one are only dealt with for the sake of completeness.