Channels

Channels are the basic form of interprocess communication in CSP. They provide a means for 2 processes to communicate via a synchronous link. In this version of CSP there area two types of channel: the simple channel and the channel pair. A simple channel is specified at dynamically by the functions connect-channel-input and connect-channel-output. Only IN operations are permitted on the channel returned by the former, and only OUT operations on the latter. These operations are only alowed on the thread that connected the channel or one that it created. A channel pair is made up of two channels and is connected to a thead by connect-chan-pair