CTR-S: a logic for specifying contracts in semantic web services
Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan
- Anthology ID:
- DBLP:conf/www/DavulcuKR04
- Volume:
- Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004
- Year:
- 2004
- Venue:
- wwwconf_conference
- Publisher:
- ACM
- Pages:
- 144–153
- URL:
- https://doi.org/10.1145/1013367.1013391
- DOI:
- 10.1145/1013367.1013391
- DBLP:
- conf/www/DavulcuKR04