Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. A WSDL-Based Type System for WS-BPEL. In Paolo Ciancarini, Herbert Wiklicky, editors, Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Volume 4038 of Lecture Notes in Computer Science, pages 145-163, Springer, 2006. [doi]
Abstract is missing.