Events include message arrivals, timer signals and user posted events. Messaging events were discussed in the previous subsection. Here we discuss the latter two.
