Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso. Formal Modelling and Verification of an Asynchronous Extension of SOAP. In Fourth IEEE European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zürich, Switzerland. pages 287-296, IEEE Computer Society, 2006. [doi]
Abstract is missing.