{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:09:18Z","timestamp":1760044158639,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"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-57666-4_3","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T12:18:42Z","timestamp":1491999522000},"page":"17-35","source":"Crossref","is-referenced-by-count":8,"title":["A Core Model for 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,4,13]]},"reference":[{"key":"3_CR1","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H Barendregt","year":"1984","unstructured":"Barendregt, H.: The Lambda Calculus: Its Syntax and Semantics, 2nd edn. North Holland, Amsterdam (1984)","edition":"2"},{"key":"3_CR2","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: Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418\u2013433. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85361-9_33"},{"issue":"2","key":"3_CR3","doi-asserted-by":"crossref","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 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"issue":"51\u201352","key":"3_CR4","doi-asserted-by":"crossref","first-page":"4399","DOI":"10.1016\/j.tcs.2010.09.010","volume":"411","author":"L Caires","year":"2010","unstructured":"Caires, L., Vieira, H.T.: Conversation types. Theor. Comput. Sci. 411(51\u201352), 4399\u20134440 (2010)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"3_CR5","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":"3_CR6","doi-asserted-by":"crossref","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: Giacobazzi, R., Cousot, R., (eds.) POPL, pp. 263\u2013274. ACM (2013)","DOI":"10.1145\/2429069.2429101"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-662-44584-6_5","volume-title":"CONCUR 2014 \u2013 Concurrency Theory","author":"M Carbone","year":"2014","unstructured":"Carbone, M., Montesi, F., Sch\u00fcrmann, C.: Choreographies, logically. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014. LNCS, vol. 8704, pp. 47\u201362. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-44584-6_5"},{"key":"3_CR8","unstructured":"Chor. Programming Language. http:\/\/www.chor-lang.org\/"},{"key":"3_CR9","unstructured":"Cruz-Filipe, L., Montesi, F.: Choreographies, computationally. CoRR, abs\/1510.03271 (2015)"},{"key":"3_CR10","unstructured":"Cruz-Filipe, L., Montesi, F.: Choreographies, divided and conquered. CoRR, abs\/1602.03729 (2016, Submitted)"},{"key":"3_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171496","volume-title":"Computability: An Introduction to Recursive Function Theory","author":"NJ Cutland","year":"1980","unstructured":"Cutland, N.J.: Computability: An Introduction to Recursive Function Theory. Cambridge University Press, Cambridge (1980)"},{"key":"3_CR12","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 \u2013 safe runtime updates of distributed applications. 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":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-39212-2_18","volume-title":"Automata, Languages, and Programming","author":"P-M Deni\u00e9lou","year":"2013","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty compatibility in communicating automata: characterisation and synthesis of global session types. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013. LNCS, vol. 7966, pp. 174\u2013186. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39212-2_18"},{"key":"3_CR14","unstructured":"Gabbrielli, M., Giallorenzo, S., Montesi, F.: Applied choreographies. CoRR, abs\/1510.03637 (2015)"},{"key":"3_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"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P., (eds.) POPL, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"3_CR17","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland Publishing Co., Amsterdam (1952)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction- and process-oriented choreographies. In: Cerone, A., Gruner, S., (eds.) SEFM, pp. 323\u2013332. IEEE (2008)","DOI":"10.1109\/SEFM.2008.11"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Lanese, I., Montesi, F., Zavattaro, G.: Amending choreographies. In: Ravara, A., Silva, J., (eds.) WWV 2013. EPTCS, vol. 123, pp. 34\u201348 (2013)","DOI":"10.4204\/EPTCS.123.5"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Leesatapornwongsa, T., Lukman, J.F., Shan, L., Gunawi, H.S.: TaxDC: a taxonomy of non-deterministic concurrency bugs in datacenter distributed systems. In: ASPLOS, pp. 517\u2013530. ACM (2016)","DOI":"10.1145\/2872362.2872374"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Shan, L., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: ASPLOS, pp. 329\u2013339. ACM (2008)","DOI":"10.1145\/1353534.1346323"},{"key":"3_CR22","unstructured":"Montesi, F.: Choreographic Programming. Ph. D. thesis, IT University of Copenhagen (2013). http:\/\/fabriziomontesi.com\/files\/choreographic_programming.pdf"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-1-4614-7518-7_4","volume-title":"Web Services Foundations","author":"F Montesi","year":"2014","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Service-oriented programming with Jolie. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 81\u2013107. Springer, Heidelberg (2014)"},{"key":"3_CR24","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.C. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 425\u2013439. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40184-8_30"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Williamson, C.L., Zurko, M.E., Patel-Schneider, P.F., Shenoy, P.J., (eds.) WWW, pp. 973\u2013982. ACM (2007)","DOI":"10.1145\/1242572.1242704"},{"key":"3_CR26","doi-asserted-by":"crossref","DOI":"10.1017\/9781316134924","volume-title":"The $$\\pi $$ -Calculus: A Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The $$\\pi $$ -Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"issue":"4","key":"3_CR27","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2307\/2268280","volume":"2","author":"AM Turing","year":"1937","unstructured":"Turing, A.M.: Computability and $$\\lambda $$ -definability. J. Symb. Log. 2(4), 153\u2013163 (1937)","journal-title":"J. Symb. Log."},{"key":"3_CR28","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\/"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:04:39Z","timestamp":1750197879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}