Verification of communicating data-driven web services.

Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou

Browse the full PODS paper archive.