Mario Bravetti, Gianluigi Zavattaro. On the Expressive Power of Process Interruption and Compensation. In Roberto Bruni, Karsten Wolf, editors, Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Volume 5387 of Lecture Notes in Computer Science, pages 1-18, Springer, 2008. [doi]
Abstract is missing.