Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou. Verification of communicating data-driven web services. In Stijn Vansummeren, editor, Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA. pages 90-99, ACM, 2006. [doi]
Abstract is missing.