Deadlock-Freeness Verification of Business Process Configuration Using SOG.

Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul

Browse the full ICSOC paper archive.