Үүнийг мессежээр илгээх: A Trace Semantics for Long−Running Transactions