Property 7: Dispatcher notifies artists in order


Requirement: If artist a1 registers for event e1 before artist a2 does, then once dispatcher receives e1 from the ADT, it will not notify a2 before notifying a1.


Up to Chiron Decomposed Dispatcher (2 artists, 2 events)

Forward to Property 8

Back to Property 6