Seol mar théacs é seo: A theory of communicating sequential processes /