इसका टेक्स्ट मैसेज भेजे: A Trace Semantics for Long−Running Transactions