A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. - Roberto Bruni 001; Anne Kersten; Ivan Lanese; Giorgio Spagnolo (WADT, 2010)

First-Order Dynamic Logic for Compensable Processes. - Roberto Bruni 001; Carla Ferreira 001; Anne Kersten Kauer (COORDINATION, 2012)

LTS Semantics for Compensation-Based Processes. - Roberto Bruni 001; Anne Kersten Kauer (TGC, 2012)