Generalizing Transactions ... [... Into a Compositional Means for Building Dependable Systems From Arbitrary Components] Andreas Reuter HPTS, September 26, 2005 Setting the…