Property 4: Dispatcher notifies of what was received

DESCRIPTION

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

SPECIFICATION

• Native SPIN
• INCA-SPIN
• INCA-SMV
• INCA
• FLAVERS

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

Forward to Property 5

Back to Property 3