Matthias Weidlich, Remco M. Dijkman, Mathias Weske. Deciding Behaviour Compatibility of Complex Correspondences between Process Models. In Richard Hull, Jan Mendling, Stefan Tai, editors, Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings. Volume 6336 of Lecture Notes in Computer Science, pages 78-94, Springer, 2010. [doi]
Abstract is missing.