Constraint-Based Reasoning and Analysis for BPM: CSP to the Rescue.

Alessandro Gianola, Andrey Rivkin, Mateusz Slazynski

Browse the full BPM paper archive.