Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. A Formal Guidance Approach for Correct Process Configuration. In Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri, editors, Service-Oriented Computing - 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Volume 9936 of Lecture Notes in Computer Science, pages 483-498, Springer, 2016. [doi]
Abstract is missing.