{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T16:23:57Z","timestamp":1792254237419,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642401831","type":"print"},{"value":"9783642401848","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40184-8_30","type":"book-chapter","created":{"date-parts":[[2013,7,23]],"date-time":"2013-07-23T01:50:56Z","timestamp":1374544256000},"page":"425-439","source":"Crossref","is-referenced-by-count":42,"title":["Compositional Choreographies"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Montesi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Additional Resources, \n                    \n                      http:\/\/www.itu.dk\/people\/fabr\/papers\/compchor\/"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Baltazar, P., Caires, L., Vasconcelos, V.T., Vieira, H.T.: A Type System for Flexible Role Assignment in Multiparty Communicating Systems. In: Proc. of TGC (2012)","DOI":"10.1007\/978-3-642-41157-1_6"},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 418\u2013433. Springer, Heidelberg (2008), Long version at \n                    \n                      http:\/\/www.di.unito.it\/~dezani\/papers\/cdy12.pdf"},{"key":"30_CR4","unstructured":"Business Process Model and Notation, \n                    \n                      http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11767954_5","volume-title":"Coordination Models and Languages","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 63\u201381. Springer, Heidelberg (2006)"},{"issue":"2","key":"30_CR6","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2220365.2220367","volume":"34","author":"M. Carbone","year":"2012","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst.\u00a034(2), 8 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263\u2013274 (2013)","DOI":"10.1145\/2480359.2429101"},{"key":"30_CR8","unstructured":"Chor. Programming Language, \n                    \n                      http:\/\/www.chor-lang.org\/"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Dynamic multirole session types. In: Proc. of POPL, pp. 435\u2013446. ACM (2011)","DOI":"10.1145\/1925844.1926435"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N., Bejleri, A., Hu, R.: Parameterised multiparty session types. LMCS\u00a08(4) (2012)","DOI":"10.2168\/LMCS-8(4:6)2012"},{"key":"30_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-19056-8_4","volume-title":"Distributed Computing and Internet Technology","author":"K. Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol.\u00a06536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"key":"30_CR12","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 disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proc. of POPL, vol.\u00a043(1), pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"30_CR14","unstructured":"italianaSoftware. \n                    \n                      http:\/\/www.italianasoftware.com\/\n                    \n                    \n                  ."},{"key":"30_CR15","unstructured":"Jolie. Java Orchestration Language Interpreter Engine, \n                    \n                      http:\/\/www.jolie-lang.org\/"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction- and process-oriented choreographies. In: Proc. of SEFM, pp. 323\u2013332. IEEE (2008)","DOI":"10.1109\/SEFM.2008.11"},{"issue":"5","key":"30_CR17","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1017\/S0960129504004323","volume":"14","author":"M. Merro","year":"2004","unstructured":"Merro, M., Sangiorgi, D.: On asynchrony in name-passing calculi. Mathematical Structures in Computer Science\u00a014(5), 715\u2013767 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Composing Services with JOLIE. In: Proc. of ECOWS, pp. 13\u201322 (2007)","DOI":"10.1109\/ECOWS.2007.19"},{"key":"30_CR19","unstructured":"PI4SOA (2008), \n                    \n                      http:\/\/www.pi4soa.org"},{"key":"30_CR20","unstructured":"Savara. JBoss Community, \n                    \n                      http:\/\/www.jboss.org\/savara\/"},{"key":"30_CR21","unstructured":"W3C WS-CDL Working Group. Web services choreography description language version 1.0 (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/ws-cdl-10\/"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2013 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40184-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T02:50:01Z","timestamp":1557975001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40184-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401831","9783642401848"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40184-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}