@Inproceedings{BK:TGC2012:LTSCBP,
   joint-pub = {true},
   status = {public},
   task = {T2.2},
   publisher = {Springer},
   doi = {http://dx.doi.org/10.1007/978-3-642-41157-1_8},
   booktitle = {TGC 2012},
   series = {LNCS},
   year = {2012},
   isbn = {978-3-642-41156-4},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {8191},
   main = {no},
   accessible = {true},
   title = {{LTS Semantics for Compensation-based Processes}},
   author = {Roberto Bruni and Anne {Kersten Kauer}},
   period = {year2},
   abstract = {Business processes design is an error-prone task often relying on long-running transactions with compensations. Unambiguous formal semantics and flexible verification tools should be used for early validation of processes.
To this aim, we define a small-step semantics for the Sagas calculus according to the so-called ``coordinated interruption'' policy. We show that it can be tuned via small changes to deal with other compensation policies and discuss possible enhancements.},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {UNIPI,IMT},
   wp = {wp2},
   pages = {112--128}
}