Examples from "Communicating Sequential Processes" rewritten in core.asyncgithub.com/nodename1 pointllambda13 years ago