{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:59:58Z","timestamp":1725476398972},"publisher-location":"Boston, MA","reference-count":4,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387302393"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-34685-4_5","type":"book-chapter","created":{"date-parts":[[2006,12,24]],"date-time":"2006-12-24T06:15:24Z","timestamp":1166940924000},"page":"107-136","source":"Crossref","is-referenced-by-count":1,"title":["Temporal Reasoning Of Reactive Web Services"],"prefix":"10.1007","author":[{"given":"Monika","family":"Solanki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Cau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Monika Solanki and Antonio Cau and Hussein Zedan. Introducing Compositionality in Web Service Descriptions. In Proceedings of the 10th International Workshop on Future Trends in Distributed Computing Systems-FTDCS 2004, Suzhou, China, May 26\u201328 2004. IEEE Computer Society Press.","DOI":"10.1109\/FTDCS.2004.1316588"},{"key":"5_CR2","unstructured":"Antonio Cau. ITL and (Ana)Tempura Home page on the web. http:\/\/www.cse.dmu.ac.uk\/~lcau\/itlhomepage\/itlhomepage.html."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"5_CR4","volume-title":"Executing temporal Logic Programs","author":"B. Moszkowski","year":"1986","unstructured":"B. Moszkowski. Executing temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986."}],"container-title":["Semantic Web and Beyond","Semantic Web Services, Processes and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34685-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:49:24Z","timestamp":1619574564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34685-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387302393"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34685-4_5","relation":{},"subject":[]}}