Property 5: Dispatcher does not block if no one is registered


Requirement: Dispatcher does not block ADT if no one is registered.

Refinement: If no artists are registered for event e1, dispatcher does not notify any artist of e1.


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

Forward to Property 6

Back to Property 4