use(channels). ts:var(int). tr:var(int). C:var(chan(void)). init_chan(C,"C"); print("Enter cycle time for sender:\n"); ts:=readint; print("Enter cycle time for receiver:\n"); tr:=readint; ( forever( C!null; wait_for(ts) ) ) | ( forever( C?null; wait_for(tr) ) )