It descends from the external choice operator in CSP, which offers a choice of events to the environment and lets any one of them happen (=~ accepting input on

It descends from the external choice operator in CSP, which offers a choice of events to the environment and lets any one of them happen (=~ accepting input on one of a number of channels, but CSP's semantics are a bit different from a typical PL).