Seol mar théacs é seo: Semantics of Nondeterminism‚ Concurrency and Communication