Problem $1(40$ points$)$: We want to design an asynchronous process Split that is the dual of

Merge. The process Split has one input channel in and two output channels out and ${?}_1$ out The

messages received on the input

channel should be routed to one

of the output channels in a

nondeterministic manner so that

all possible splittings of the input

stream are feasible executions.

Describe all the components of

the desired process Split.

Asynchronous merge component