Presumed Abort
After a coordinator decides Abort and sends Abort to participants, it forgets about T immediately.
Participants don’t acknowledge Abort (with Done)
- If a participant times out waiting for the decision, it asks the coordinator to retry.
- If the coordinator has no info for T, it replies Abort.