@inbook{Caires08,
  title      = {A Process Calculus Analysis of Compensations},
  ISBN       = {9783642009457},
  ISSN       = {1611-3349},
  DOI        = {10.1007/978-3-642-00945-7_6},
  booktitle  = {Trustworthy Global Computing},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Caires, Luís and Ferreira, Carla and Vieira, Hugo},
  year       = {2009},
  pages      = {87–103},
}