Carlo Blundo, Emiliano De Cristofaro, Clemente Galdi, Giuseppe Persiano. Validating Orchestration of Web Services with BPEL and Aggregate Signatures. In Claus Pahl, siobhán-clarke, Rik Eshuis, editors, ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland. pages 205-214, IEEE Computer Society, 2008. [doi]
Abstract is missing.