Seol mar théacs é seo: A Theory of Communicating Sequential Processes