Verification of communicating data-driven web services. (2006)

by A Deutsch, L Sui, V Vianu, D Zhou
Venue:In PODS,