@inproceedings(BLZ2003,
 author       = {Laura Bocchi and Cosimo Laneve and Gianluigi Zavattaro},
 year         = {2003},
 title        = {A Calculus for Long-Running Transactions},
 booktitle    = {Proc. of {FMOODS} 2003},
 series       = {LNCS},
 volume       = {2884},
 publisher    = {Springer},
 pages        = {124--138},
 doi          = {10.1007/978-3-540-39958-2\_9},
)
@article(DBLP:journals/corr/abs-1210-6379,
 author       = {Mario Bravetti and Cinzia~Di Giusto and Jorge~A. P{\'{e}}rez and Gianluigi Zavattaro},
 year         = {2012},
 title        = {Adaptable processes},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 number       = {4},
 doi          = {10.2168/LMCS-8(4:13)2012},
)
@inproceedings(DBLP:conf/isola/BravettiGPZ12,
 author       = {Mario Bravetti and Cinzia~Di Giusto and Jorge~A. P{\'{e}}rez and Gianluigi Zavattaro},
 year         = {2012},
 title        = {Towards the Verification of Adaptable Processes},
 booktitle    = {ISoLA},
 series       = {LNCS},
 volume       = {7609},
 publisher    = {Springer},
 pages        = {269--283},
 doi          = {10.1007/978-3-642-34026-0\_20},
)
@article(DBLP:journals/mscs/BravettiZ09,
 author       = {Mario Bravetti and Gianluigi Zavattaro},
 year         = {2009},
 title        = {On the expressive power of process interruption and compensation},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 number       = {3},
 pages        = {565--599},
 doi          = {10.1017/S0960129509007683},
)
@inproceedings(CFV08,
 author       = {Lu{\'{\i}}s Caires and Carla Ferreira and Hugo~Torres Vieira},
 year         = {2009},
 title        = {A Process Calculus Analysis of Compensations},
 booktitle    = {Proc. of {TGC} 2008},
 series       = {LNCS},
 volume       = {5474},
 publisher    = {Springer},
 pages        = {87--103},
 doi          = {10.1007/978-3-642-00945-7\_6},
)
@inproceedings(DBLP:conf/concur/CarboneHY08,
 author       = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
 year         = {2008},
 title        = {Structured Interactional Exceptions in Session Types},
 booktitle    = {{CONCUR} 2008},
 series       = {LNCS},
 volume       = {5201},
 publisher    = {Springer},
 pages        = {402--417},
 doi          = {10.1007/978-3-540-85361-9\_32},
)
@techreport(DDPonline15,
 author       = {Jovana Dedei\'c and Jovanka Pantovi\'c and Jorge~A. P\'erez},
 year         = {2015},
 title        = {Full version of this paper},
 type         = {Technical Report},
 url          = {http://www.jorgeaperez.net},
)
@incollection(DBLP:books/sp/sensoria2011/FerreiraLRVZ11,
 author       = {Carla Ferreira and Ivan Lanese and Ant{\'{o}}nio Ravara and Hugo~Torres Vieira and Gianluigi Zavattaro},
 year         = {2011},
 title        = {Advanced Mechanisms for Service Combination and Transactions},
 booktitle    = {Results of {SENSORIA}},
 series       = {LNCS},
 volume       = {6582},
 publisher    = {Springer},
 pages        = {302--325},
 doi          = {10.1007/978-3-642-20401-2\_14},
)
@article(GP2015,
 author       = {Cinzia~Di Giusto and Jorge~A. P{\'{e}}rez},
 year         = {2015},
 title        = {Disciplined structured communications with disciplined runtime adaptation},
 journal      = {Sci. Comput. Program.},
 volume       = {97},
 pages        = {235--265},
 doi          = {10.1016/j.scico.2014.04.017},
)
@inproceedings(GP2014,
 author       = {Cinzia~Di Giusto and Jorge~A. P{\'{e}}rez},
 year         = {2015},
 title        = {An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems},
 booktitle    = {Proc. of WS-FM 2014},
 series       = {LNCS},
 publisher    = {Springer},
 note         = {To appear},
)
@article(DBLP:journals/iandc/Gorla10,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Inf. Comput.},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@inproceedings(DBLP:conf/esop/LaneseVF10,
 author       = {Ivan Lanese and C{\'{a}}tia Vaz and Carla Ferreira},
 year         = {2010},
 title        = {On the Expressive Power of Primitives for Compensation Handling},
 booktitle    = {Proc. of {ESOP} 2010},
 series       = {LNCS},
 volume       = {6012},
 publisher    = {Springer},
 pages        = {366--386},
 doi          = {10.1007/978-3-642-11957-6\_20},
)
@inproceedings(DBLP:conf/coordination/LaneseZ13,
 author       = {Ivan Lanese and Gianluigi Zavattaro},
 year         = {2013},
 title        = {Decidability Results for Dynamic Installation of Compensation Handlers},
 booktitle    = {{COORDINATION}},
 series       = {LNCS},
 volume       = {7890},
 publisher    = {Springer},
 pages        = {136--150},
 doi          = {10.1007/978-3-642-38493-6\_10},
)
@inproceedings(LZ2005,
 author       = {Cosimo Laneve and Gianluigi Zavattaro},
 year         = {2005},
 title        = {Foundations of Web Transactions},
 booktitle    = {Proc. of {FOSSACS} 2005},
 series       = {LNCS},
 volume       = {3441},
 publisher    = {Springer},
 pages        = {282--298},
 doi          = {10.1007/978-3-540-31982-5\_18},
)
@book(DBLP:books/daglib/0067019,
 author       = {Robin Milner},
 year         = {1989},
 title        = {Communication and concurrency},
 series       = {{PHI} Series in computer science},
 publisher    = {Prentice Hall},
)
@article(DBLP:journals/iandc/MilnerPW92a,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {A Calculus of Mobile Processes, {I}},
 journal      = {Inf. Comput.},
 volume       = {100},
 number       = {1},
 pages        = {1--40},
 doi          = {10.1016/0890-5401(92)90008-4},
)
@phdthesis(SangiorgiD:expmpa,
 author       = {Davide Sangiorgi},
 year         = {1992},
 title        = {Expressing Mobility in Process Algebras: First-Order and Higher Order Paradigms},
 school       = {University of Edinburgh},
)