 Channel multiplexer

A process that tags values accepted from several input ports with stream identities and forwards them through a shared message-passing channel.