On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles.

Elio Damaggio, Richard Hull, Roman Vaculn

Browse the full BPM paper archive.