{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:21:59Z","timestamp":1749334919308,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25535-9_9","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T13:17:59Z","timestamp":1321622279000},"page":"125-141","source":"Crossref","is-referenced-by-count":16,"title":["Programming Services with Correlation Sets"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Montesi","sequence":"first","affiliation":[]},{"given":"Marco","family":"Carbone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Internet Relay Chat Protocol, http:\/\/tools.ietf.org\/html\/rfc1459"},{"key":"9_CR2","unstructured":"On-line appendix, http:\/\/www.itu.dk\/people\/fabr\/icsoc2011"},{"key":"9_CR3","unstructured":"OpenID implementation, http:\/\/www.jolie-lang.org\/files\/icsoc2011\/openid.zip"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Cesari, L., Lapadula, A., Pugliese, R., Tiezzi, F.: A Tool for Rapid Development of WS-BPEL applications. In: SAC, pp. 2438\u20132442 (2010)","DOI":"10.1145\/1774088.1774594"},{"key":"9_CR5","unstructured":"Free Software Foundation (FSF). GNU Lesser General Public License, http:\/\/www.gnu.org\/licenses\/lgpl.html"},{"issue":"1","key":"9_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.3233\/FI-2009-143","volume":"95","author":"C. Guidi","year":"2009","unstructured":"Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: Dynamic Error Handling in Service Oriented Applications. Fundamenta Informaticae\u00a095(1), 73\u2013102 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"key":"#cr-split#-9_CR8.2","unstructured":"7., pp. 273-284. ACM Press (2008)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-540-70592-5_22","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"R. Hu","year":"2008","unstructured":"Hu, R., Yoshida, N., Honda, K.: Session-based Distributed Programming in Java. In: Ryan, M. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"9_CR11","unstructured":"JOLIE. JOLIE: Java Orchestration Language Interpreter Engine, http:\/\/www.jolie-lang.org\/"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-68265-3_13","volume-title":"Coordination Models and Languages","author":"A. Lapadula","year":"2008","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Formal Account of WS-BPEL. In: Wang, A.H., Tennenholtz, M. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 199\u2013215. Springer, Heidelberg (2008)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Information and Computation\u00a0100(1), 1\u201340, 41\u201377 (1992)","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Montesi, F., Guidi, C., Lanese, I., Zavattaro, G.: Dynamic Fault Handling Mechanisms for Service-Oriented Applications. In: Proceedings of ECOWS 2008, pp. 225\u2013234 (2008)","DOI":"10.1109\/ECOWS.2008.20"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Composing Services with JOLIE. In: Proceedings of ECOWS 2007, pp. 13\u201322 (2007)","DOI":"10.1109\/ECOWS.2007.19"},{"key":"9_CR17","unstructured":"OASIS. Web Services Business Process Execution Language Version 2.0, http:\/\/docs.oasis-open.org\/wsbpel\/"},{"key":"9_CR18","unstructured":"OpenID. OpenID Specifications, http:\/\/openid.net\/developers\/specs\/"},{"key":"9_CR19","unstructured":"World Wide Web\u00a0Consortium (W3C). SOAP Specifications, http:\/\/www.w3.org\/TR\/soap\/"},{"key":"9_CR20","unstructured":"World Wide Web\u00a0Consortium (W3C). Web Services Description Language. http:\/\/www.w3.org\/TR\/wsdl"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25535-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T18:39:34Z","timestamp":1593283174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25535-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642173578","9783642173585"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25535-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}