Bug 449

Summary: allow multi-synchronization (multicast) over channels
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: EngineAssignee: Alexandre David <adavid>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   

Description Marius Mikučionis 2008-10-28 14:38:12 CET
It would be nice to be able to specify a minimum amount of required recipient processes participating in broadcast synchronization.
For example current broadcast channels assumes 0 required recipients, i.e. the sending process will not block even if no recipients are ready to receive. So it should be possible to specify a minimum number of recipients greater than 0 and block the sender until this requirement is fulfilled.