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]

Authors

Elio Damaggio

This author has not been identified. Look up 'Elio Damaggio' in Google

Richard Hull

This author has not been identified. Look up 'Richard Hull' in Google

Roman Vaculín

This author has not been identified. Look up 'Roman Vaculín' in Google