On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles

Elio Damaggio, Richard Hull, Roman VaculĂ­n. On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles. Inf. Syst., 38(4):561-584, 2013. [doi]

Abstract

Abstract is missing.