Formalization and Verification of EPCs with OR-Joins Based on State and Context.

Jan Mendling, Wil M. P. van der Aalst

Browse the full CaiSE paper archive.