This actor implements multiway rendezvous on all channels of the input port, collects the tokens, and then performs a multiway rendezvous on all channels of the output port, sending the collected data.
FIXME If the capacity changes during execution, and the buffer already contains more tokens than the new capacity, then no tokens are lost, but no new tokens are accepted at the input until the number of buffered tokens drops below the capacity.
A single channel buffer.
A CSPMultiSink actor accepts a token from any channel connected to its input.
A CSPMultiSource actor produces tokens through an output channel via a continuous do (CDO) construct.
Used in the Sieve of Eratosthenes demo.
A CSPSink actor accepts tokens from a single input channel.
A CSPSource actor produces tokens through an output channel.
This actor manages a pool of resources, where each resource is represented by a token with an arbitrary value.