The communication between parallel processes is made through events that are broadcast instantaneously. Hence, an event is present during the instant where it is broadcast, otherwise it is absent.
An event is declared with the signal
construct.
signal s;;
The construct await s
waits the next instant where s is
broadcast.
let process p = await s; print_endline "Hello!" ;;
#run p;;
An event is broadcast using emit
.
emit s;;
Remark: #run p
is a shortcut for #exec (run p)
.