{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:44:42Z","timestamp":1778215482219,"version":"3.51.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319602240","type":"print"},{"value":"9783319602257","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-60225-7_7","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T22:26:37Z","timestamp":1495837597000},"page":"92-107","source":"Crossref","is-referenced-by-count":15,"title":["Procedural Choreographic Programming"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Montesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"key":"7_CR1","unstructured":"Business Process Model and Notation. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"issue":"2","key":"7_CR2","doi-asserted-by":"crossref","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. 34(2), 8 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR3","unstructured":"Carbone, M., Lindley, S., Montesi, F., Sch\u00fcrmann, C., Wadler, P.: Coherence generalises duality: a logical explanation of multiparty session types. In: CONCUR. LIPIcs, vol. 59, pp. 33:1\u201333:15. Schloss Dagstuhl (2016)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263\u2013274. ACM (2013)","DOI":"10.1145\/2429069.2429101"},{"issue":"3","key":"7_CR5","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s00236-016-0285-y","volume":"54","author":"M Carbone","year":"2017","unstructured":"Carbone, M., Montesi, F., Sch\u00fcrmann, C., Yoshida, N.: Multiparty session types as coherence proofs. Acta Inform. 54(3), 243\u2013269 (2017)","journal-title":"Acta Inform."},{"key":"7_CR6","unstructured":"Chor: Programming Language. http:\/\/www.chor-lang.org\/"},{"issue":"2","key":"7_CR7","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1017\/S0960129514000188","volume":"26","author":"M Coppo","year":"2016","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2), 238\u2013302 (2016)","journal-title":"Math. Struct. Comput. Sci."},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-39570-8_8","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"L Cruz-Filipe","year":"2016","unstructured":"Cruz-Filipe, L., Montesi, F.: Choreographies in practice. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 114\u2013123. Springer, Cham (2016). doi: 10.1007\/978-3-319-39570-8_8"},{"key":"7_CR9","unstructured":"Cruz-Filipe, L., Montesi, F.: A language for the declarative composition of concurrent protocols. CoRR, abs\/1602.03729 (2016)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-57666-4_3","volume-title":"Formal Aspects of Component Software","author":"L Cruz-Filipe","year":"2017","unstructured":"Cruz-Filipe, L., Montesi, F.: A core model for choreographic programming. In: Kouchnarenko, O., Khosravi, R. (eds.) FACS 2016. LNCS, vol. 10231, pp. 17\u201335. Springer, Cham (2017). doi: 10.1007\/978-3-319-57666-4_3"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-19282-6_5","volume-title":"Coordination Models and Languages","author":"M Dalla Preda","year":"2015","unstructured":"Dalla Preda, M., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J.: Dynamic choreographies. In: Holvoet, T., Viroli, M. (eds.) COORDINATION 2015. LNCS, vol. 9037, pp. 67\u201382. Springer, Cham (2015). doi: 10.1007\/978-3-319-19282-6_5"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-32940-1_20","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"R Demangeon","year":"2012","unstructured":"Demangeon, R., Honda, K.: Nested protocols in session types. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 272\u2013286. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32940-1_20"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Dynamic multirole session types. In: POPL, pp. 435\u2013446. ACM (2011)","DOI":"10.1145\/1926385.1926435"},{"key":"7_CR14","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. 6536, pp. 55\u201375. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-19056-8_4"},{"key":"7_CR15","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. 1381, pp. 122\u2013138. Springer, Heidelberg (1998). doi: 10.1007\/BFb0053567"},{"issue":"1","key":"7_CR16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/2827695","volume":"63","author":"K Honda","year":"2016","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9 (2016)","journal-title":"J. ACM"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction-and process-oriented choreographies. In: SEFM, pp. 323\u2013332 (2008)","DOI":"10.1109\/SEFM.2008.11"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Lanese, I., Montesi, F., Zavattaro, G.: Amending choreographies. In: WWV, pp. 34\u201348 (2013)","DOI":"10.4204\/EPTCS.123.5"},{"issue":"1","key":"7_CR19","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/1353534.1346323","volume":"36","author":"S Lu","year":"2008","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ACM SIGARCH Comput. Archit. News 36(1), 329\u2013339 (2008)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"key":"7_CR20","unstructured":"Montesi, F.: Choreographic programming. Ph.D. thesis, IT University of Copenhagen (2013). http:\/\/fabriziomontesi.com\/files\/choreographic_programming.pdf"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-40184-8_30","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"F Montesi","year":"2013","unstructured":"Montesi, F., Yoshida, N.: Compositional choreographies. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 425\u2013439. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40184-8_30"},{"key":"7_CR22","unstructured":"MPI Forum: MPI: A Message-Passing Interface Standard. High-Performance Computing Center Stuttgart, version 3.1 (2015)"},{"key":"7_CR23","unstructured":"PI4SOA (2008). http:\/\/www.pi4soa.org"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: WWW, pp. 973\u2013982. ACM (2007)","DOI":"10.1145\/1242572.1242704"},{"key":"7_CR25","unstructured":"Savara: JBoss Community. http:\/\/www.jboss.org\/savara\/"},{"key":"7_CR26","unstructured":"W3C WS-CDL Working Group: Web services choreography description language version 1.0 (2004). http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20040427\/"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-12032-9_10","volume-title":"Foundations of Software Science and Computational Structures","author":"N Yoshida","year":"2010","unstructured":"Yoshida, N., Deni\u00e9lou, P.-M., Bejleri, A., Hu, R.: Parameterised multiparty session types. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 128\u2013145. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12032-9_10"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60225-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T01:19:51Z","timestamp":1569374391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60225-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319602240","9783319602257"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60225-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}