Ivan Lanese, Gianluigi Zavattaro. Decidability Results for Dynamic Installation of Compensation Handlers. In Rocco De Nicola, Christine Julien, editors, Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Volume 7890 of Lecture Notes in Computer Science, pages 136-150, Springer, 2013. [doi]
Abstract is missing.