A Trace Semantics for Long-Running Transactions | doi.page