Slide 1 1 The SOCK SAGA Ivan Lanese Computer Science Department University of Bologna Italy Joint work with Gianluigi Zavattaro Slide 2 The saga l The world: faults and compensations…