Seol mar théacs é seo: A Trace Semantics for Long−Running Transactions