Rob J. van Glabbeek, David G. Stork. Query Nets: Interacting Workflow Modules That Ensure Global Termination. In Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske, editors, Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings. Volume 2678 of Lecture Notes in Computer Science, pages 184-199, Springer, 2003. [doi]
Abstract is missing.