Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis.

Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa, Jingxin Xu

Browse the full BPM paper archive.