Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul. Deadlock-Freeness Verification of Business Process Configuration Using SOG. In E. Michael Maximilien, Antonio Vallecillo, Jianmin Wang 0001, Marc Oriol, editors, Service-Oriented Computing - 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings. Volume 10601 of Lecture Notes in Computer Science, pages 96-112, Springer, 2017. [doi]
Abstract is missing.