A Semantics of Compensations for Long−Running Transactions
C. A. R. Hoare
Month
June 20
Note
Word−processed manuscript
Year
2003
C. A. R. Hoare