Enviar aquest missatge de text: A Trace Semantics for Long−Running Transactions