Anfonwch hwn fel neges destun: A Trace Semantics for Long−Running Transactions