Property 4: Dispatcher notifies of what was received


DESCRIPTION

Requirement: Having received event e1, dispatcher never notifies artists of e2.


SPECIFICATION


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

Forward to Property 5

Back to Property 3