From Pricinples of Cyber-Physical Systems

Exercise 4.2: 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 outi and 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. Exercise 4.2: 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 outi and 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