Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences

Matthias Weidlich, Remco M. Dijkman, Mathias Weske. Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences. Comput. J., 55(11):1398-1418, 2012. [doi]

Abstract

Abstract is missing.