Next: No_Tasking, Previous: No_Task_Hierarchy, Up: Partition-Wide Restrictions
[RM D.7] Tasks which terminate are erroneous.