Jonathan Michaux, Elie Najm, Alessandro Fantechi. Safe Session-Based Service Orchestration with Unreliable Communication. In Emilio Tuosto, Chun Ouyang, editors, Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Volume 8379 of Lecture Notes in Computer Science, pages 106-126, Springer, 2013. [doi]
Abstract is missing.