TY  - CHAP
UR  - http://dx.doi.org/10.1007/978-3-642-20401-2_14
EP  - 325
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
TI  - Advanced mechanisms for service combination and transactions
SN  - 978-3-642-20400-5
PB  - Springer
Y1  - 2011///
T2  - Rigorous Software Engineering for Service-Oriented Systems
A1  - Ferreira, Carla
A1  - Lanese, Ivan
A1  - Ravara, Antonio
A1  - Torres Vieira, Hugo 
A1  - Zavattaro, Gianluigi
AV  - public
ID  - eprints2313
SP  - 302
ER  -