// Example of how to use broadcast channels
//////////////////////////////////////////////////////////
// Broadcast channels provde non-blocking one-to-many
// synchronisation. The sender is never blocked. A
// receiver must synchronise if it can. Guards on clocks
// are not allowed on the receiving edge.
broadcast chan c;
int i;Sender//Insert local declarations of clocks, variables and constants.
Receiverconst id; const N//Insert process assignments.
R1 := Receiver(0, 3);
R2 := Receiver(1, 3);
R3 := Receiver(1, 3);//Edit system definition.
system Sender, R1, R2, R3;