Frank Puhlmann, Mathias Weske. Using the ::::pi::::-Calculus for Formalizing Workflow Patterns. In Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, editors, Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings. Volume 3649 of pages 153-168, 2005. [doi]
Abstract is missing.