Correctness criteria for dynamic changes in workflow systems - a survey

Stefanie Rinderle, Manfred Reichert, Peter Dadam. Correctness criteria for dynamic changes in workflow systems - a survey. Data \& Knowledge Engineering, 50(1):9-34, 2004. [doi]

Abstract

Abstract is missing.