Anfonwch hwn fel neges destun: Structures in concurrency theory :