PPT Slide
Task with a family of entries
type LEVEL is (LOW, MEDIUM, URGENT) ;
entry REQUEST (LOW . . . URGENT) (D : DATA) ;
accept REQUEST (URGENT) (D : DATA) do ;
or when REQUEST (URGENT) ' COUNT = 0 =>
accept REQUEST (MEDIUM) (D : DATA) do
or when REQUEST (URGENT) ' COUNT = 0 and
REQUEST (MEDIUM) ' Count = 0 =>
accept REQUESt (LOW) (D : DATA) do