Laura Bocchi, Cosimo Laneve & Gianluigi Zavattaro (2003):
A Calculus for Long-Running Transactions.
In: Proc. of FMOODS 2003,
LNCS 2884.
Springer,
pp. 124–138,
doi:10.1007/978-3-540-39958-2_9.
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez & Gianluigi Zavattaro (2012):
Adaptable processes.
Logical Methods in Computer Science 8(4),
doi:10.2168/LMCS-8(4:13)2012.
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez & Gianluigi Zavattaro (2012):
Towards the Verification of Adaptable Processes.
In: ISoLA,
LNCS 7609.
Springer,
pp. 269–283,
doi:10.1007/978-3-642-34026-0_20.
Mario Bravetti & Gianluigi Zavattaro (2009):
On the expressive power of process interruption and compensation.
Mathematical Structures in Computer Science 19(3),
pp. 565–599,
doi:10.1017/S0960129509007683.
Luís Caires, Carla Ferreira & Hugo Torres Vieira (2009):
A Process Calculus Analysis of Compensations.
In: Proc. of TGC 2008,
LNCS 5474.
Springer,
pp. 87–103,
doi:10.1007/978-3-642-00945-7_6.
Marco Carbone, Kohei Honda & Nobuko Yoshida (2008):
Structured Interactional Exceptions in Session Types.
In: CONCUR 2008,
LNCS 5201.
Springer,
pp. 402–417,
doi:10.1007/978-3-540-85361-9_32.
Jovana Dedei\'c, Jovanka Pantovi\'c & Jorge A. Pérez (2015):
Full version of this paper.
Technical Report.
Available at http://www.jorgeaperez.net.
Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira & Gianluigi Zavattaro (2011):
Advanced Mechanisms for Service Combination and Transactions.
In: Results of SENSORIA,
LNCS 6582.
Springer,
pp. 302–325,
doi:10.1007/978-3-642-20401-2_14.
Cinzia Di Giusto & Jorge A. Pérez (2015):
Disciplined structured communications with disciplined runtime adaptation.
Sci. Comput. Program. 97,
pp. 235–265,
doi:10.1016/j.scico.2014.04.017.
Cinzia Di Giusto & Jorge A. Pérez (2015):
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems.
In: Proc. of WS-FM 2014,
LNCS.
Springer.
To appear.
Daniele Gorla (2010):
Towards a unified approach to encodability and separation results for process calculi.
Inf. Comput. 208(9),
pp. 1031–1053,
doi:10.1016/j.ic.2010.05.002.
Ivan Lanese, Cátia Vaz & Carla Ferreira (2010):
On the Expressive Power of Primitives for Compensation Handling.
In: Proc. of ESOP 2010,
LNCS 6012.
Springer,
pp. 366–386,
doi:10.1007/978-3-642-11957-6_20.
Ivan Lanese & Gianluigi Zavattaro (2013):
Decidability Results for Dynamic Installation of Compensation Handlers.
In: COORDINATION,
LNCS 7890.
Springer,
pp. 136–150,
doi:10.1007/978-3-642-38493-6_10.
Cosimo Laneve & Gianluigi Zavattaro (2005):
Foundations of Web Transactions.
In: Proc. of FOSSACS 2005,
LNCS 3441.
Springer,
pp. 282–298,
doi:10.1007/978-3-540-31982-5_18.
Robin Milner (1989):
Communication and concurrency.
PHI Series in computer science.
Prentice Hall.
Robin Milner, Joachim Parrow & David Walker (1992):
A Calculus of Mobile Processes, I.
Inf. Comput. 100(1),
pp. 1–40,
doi:10.1016/0890-5401(92)90008-4.
Davide Sangiorgi (1992):
Expressing Mobility in Process Algebras: First-Order and Higher Order Paradigms.
University of Edinburgh.