chp-2.0.0: An implementation of concurrency ideas from Communicating Sequential Processes