Towards Formal Analysis of Artifact-Centric Business Process Models.

Kamal Bhattacharya, Cagdas Evren Gerede, Richard Hull, Rong Liu, Jianwen Su

Browse the full BPM paper archive.