{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:21Z","timestamp":1761487881751},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713883"},{"type":"electronic","value":"9783540713890"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71389-0_20","type":"book-chapter","created":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T20:22:53Z","timestamp":1183321373000},"page":"274-286","source":"Crossref","is-referenced-by-count":23,"title":["A Lower Bound on Web Services Composition"],"prefix":"10.1007","author":[{"given":"Anca","family":"Muscholl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Walukiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Web Services. Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., et al.: Web Services. Concepts, Architectures and Applications. Springer, Heidelberg (2004)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., et al.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., et al. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"20_CR3","unstructured":"Berardi, D., et al.: Automatic composition of web services in colombo. In: SEBD 2005, pp. 8\u201315 (2005)"},{"key":"20_CR4","unstructured":"Berardi, D., et al.: Automatic composition of web services with messaging. In: VLDB 2005, pp. 613\u2013624 (2005)"},{"issue":"2","key":"20_CR5","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"issue":"1","key":"20_CR6","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D., Stockmeyer, L.J.: Alternation. J. ACM\u00a028(1), 114\u2013133 (1981)","journal-title":"J. ACM"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web services. In: Symposium on Principles of Database Systems (PODS) (2004)","DOI":"10.1145\/1055558.1055571"},{"issue":"1-2","key":"20_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci.\u00a0328(1-2), 19\u201337 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Hull, R., et al.: E-services: a look behind the curtain. In: Symposium on Principles of Database Systems (PODS), pp. 1\u201314 (2003)","DOI":"10.1145\/773153.773154"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-46432-8_13","volume-title":"Foundation of Software Science and Computation Structures","author":"F. Laroussinie","year":"2000","unstructured":"Laroussinie, F., Schnoebelen, P.: The state explosion problem from trace to bisimulation equivalence. In: Tiuryn, J. (ed.) ETAPS 2000 and FOSSACS 2000. LNCS, vol.\u00a01784, pp. 192\u2013207. Springer, Heidelberg (2000)"},{"key":"20_CR11","unstructured":"Pistore, M., et al.: Automated composition of web services by planning at the knowledge level. In: International Joint Conference on Artificial Intelligence (IJCAI) (2005)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71389-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:04:12Z","timestamp":1558274652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71389-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540713883","9783540713890"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71389-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}