Seol mar théacs é seo: Towards a Theory of Parallel Programming