Verification of communicating data-driven Web services (0)

by A Deutsch, L Sui, V Vianu, D Zhou
Venue:in: Proc. 25th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems