TY  - CHAP
ID  - eprints2313
EP  - 325
T2  - Rigorous Software Engineering for Service-Oriented Systems
A1  - Ferreira, Carla
A1  - Lanese, Ivan
A1  - Ravara, Antonio
A1  - Torres Vieira, Hugo 
A1  - Zavattaro, Gianluigi
SN  - 978-3-642-20400-5
PB  - Springer
SP  - 302
N2  - Languages and models for service-oriented applications usually include primitives and constructs for exception and compensation handling. Exception handling is used to react to unexpected events while compensation handling is used to undo previously completed activities. In this chapter we investigate the impact of exception and compensation handling in message-based process calculi and the related theories developed within Sensoria.
T3  - Lecture Notes in Computer Science
AV  - public
TI  - Advanced mechanisms for service combination and transactions
Y1  - 2011///
UR  - http://dx.doi.org/10.1007/978-3-642-20401-2_14
ER  -