Tomasz Janowski, Adegboyega K. Ojo. Formalising Feasibility and Correctness of Distributed Business Processes. In Hiroshi Arisawa, Yahiko Kambayashi, Vijay Kumar, Heinrich C. Mayr, Ingrid Hunt, editors, ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001, Revised Papers. Volume 2465 of Lecture Notes in Computer Science, pages 432-443, Springer, 2001. [doi]
Abstract is missing.