Verification of Communicating Data-Driven Web Services

Authors

• 1. Alin Deutsch (University of California San Diego)
• 2. Liying Sui (University of California San Diego)
• 3. Victor Vianu (University of California San Diego)
• 4. Dayou Zhou (University of California San Diego)

@inproceedings{deutsch_pods06,
        address = {New York, NY, USA},
        series = {{PODS} '06},
        title = {{Verification of Communicating Data-Driven Web Services}},
        url = {https://dl.acm.org/doi/10.1145/1142351.1142364},
        doi = {10.1145/1142351.1142364},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Deutsch, Alin and Sui, Liying and Vianu, Victor and Zhou, Dayou},
        year = {2006}
}

Incoming Citations (Sorted by Pagerank)

Showing 13 of 13 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Semantically Similar Papers