This looks like Communicating Sequential Processes with an ugly syntax and a standard library. What am I missing here?