Roadmap Why reversibility? Reversing concurrent systems Controlling reversibility Reversibility and compensations Conclusions Why reversibility? We want programming abstractions…