Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto. Refactoring Long Running Transactions. 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 127-142, Springer, 2008. [doi]
Abstract is missing.