Yup. I wondered if it was Communicating Sequential Processes when I followed a link. No, clearly not, but only found a candidate expansion 2/3 of the way through the article.