Ekkart Kindler, Axel Martens, Wolfgang Reisig. Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis, editors, Business Process Management, Models, Techniques, and Empirical Studies. Volume 1806 of Lecture Notes in Computer Science, pages 235-253, Springer, 2000. [doi]
Abstract is missing.