Anfonwch hwn fel neges destun: Semantics of concurrent computation :