{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:33:35Z","timestamp":1759638815262,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,11,16]],"date-time":"2016-11-16T00:00:00Z","timestamp":1479254400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Danish Council for Free Research","award":["DFF-4005-00304"],"award-info":[{"award-number":["DFF-4005-00304"]}]},{"DOI":"10.13039\/100007398","name":"Strategiske Forskningsr\u00e5d (DK)","doi-asserted-by":"publisher","award":["10-092309"],"award-info":[{"award-number":["10-092309"]}],"id":[{"id":"10.13039\/100007398","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme (BE)","doi-asserted-by":"publisher","award":["FP7-612985"],"award-info":[{"award-number":["FP7-612985"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s00236-016-0285-y","type":"journal-article","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T04:10:47Z","timestamp":1479355847000},"page":"243-269","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["Multiparty session types as coherence proofs"],"prefix":"10.1007","volume":"54","author":[{"given":"Marco","family":"Carbone","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4666-901X","authenticated-orcid":false,"given":"Fabrizio","family":"Montesi","sequence":"additional","affiliation":[]},{"given":"Carsten","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,16]]},"reference":[{"key":"285_CR1","doi-asserted-by":"publisher","unstructured":"Abramsky, S., Gay, S.J., Nagarajan, R.: Interaction categories and the foundations of typed concurrent programming. In: NATO ASI DPD, pp. 35\u2013113 (1996)","DOI":"10.1007\/978-3-642-61455-2_10"},{"key":"285_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.06.002","volume":"241","author":"A Bejleri","year":"2009","unstructured":"Bejleri, A., Yoshida, N.: Synchronous multiparty session types. Electr. Notes Theor. Comput. Sci. 241, 3\u201333 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"285_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0304-3975(94)00104-9","volume":"135","author":"G Bellin","year":"1994","unstructured":"Bellin, G., Scott, P.J.: On the pi-calculus and linear logic. Theor. Comput. Sci. 135(1), 11\u201365 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"285_CR4","unstructured":"Caires, L., P\u00e9rez, J.A.: A typeful characterization of multiparty structured conversations based on binary sessions. CoRR, abs\/1407.4242 (2014)"},{"key":"285_CR5","doi-asserted-by":"publisher","unstructured":"Caires, L., P\u00e9rez, J.A., Pfenning, F., Toninho, B.: Behavioral polymorphism and parametricity in session-based communication. In: ESOP, pp. 330\u2013349 (2013)","DOI":"10.1007\/978-3-642-37036-6_19"},{"key":"285_CR6","doi-asserted-by":"publisher","unstructured":"Caires, L., Pfenning, F.: Session types as intuitionistic linear propositions. In: CONCUR, pp. 222\u2013236 (2010)","DOI":"10.1007\/978-3-642-15375-4_16"},{"key":"285_CR7","doi-asserted-by":"publisher","unstructured":"Carbone, M., Debois, S.: A graphical approach to progress for structured communication in web services. In: Proceedings of ICE\u201910 (2010)","DOI":"10.4204\/EPTCS.38.4"},{"key":"285_CR8","doi-asserted-by":"publisher","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263\u2013274 (2013)","DOI":"10.1145\/2429069.2429101"},{"key":"285_CR9","doi-asserted-by":"publisher","unstructured":"Carbone, M., Montesi, F., Sch\u00fcrmann, C.: Choreographies, logically. In: CONCUR, pp. 47\u201362 (2014)","DOI":"10.1007\/978-3-662-44584-6_5"},{"key":"285_CR10","doi-asserted-by":"publisher","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party session. LMCS, 8(1), 1\u201345 (2012)","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"285_CR11","doi-asserted-by":"publisher","unstructured":"Ciobanu, Gabriel, Horne, Ross: Behavioural analysis of sessions using the calculus of structures. In: Proceedings of the 10th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2015), volume to appear of LNCS. Springer (2016)","DOI":"10.1007\/978-3-319-41579-6_8"},{"key":"285_CR12","first-page":"1","volume":"760","author":"M Coppo","year":"2015","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global progress for dynamically interleaved multiparty sessions. MSCS 760, 1\u201365 (2015)","journal-title":"MSCS"},{"key":"285_CR13","doi-asserted-by":"publisher","unstructured":"Demangeon, R., Honda, K.: Nested protocols in session types. In: CONCUR, pp. 272\u2013286 (2012)","DOI":"10.1007\/978-3-642-32940-1_20"},{"key":"285_CR14","first-page":"174","volume":"2","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. ICALP 2, 174\u2013186 (2013)","journal-title":"ICALP"},{"key":"285_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"285_CR16","doi-asserted-by":"publisher","unstructured":"Honda, K., Vasconcelos, V., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: ESOP, pp. 22\u2013138 (1998)","DOI":"10.1007\/BFb0053567"},{"key":"285_CR17","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of POPL, vol. 43(1), pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"285_CR18","doi-asserted-by":"crossref","unstructured":"Kouzapas, D., Yoshida, N.: Globally governed session semantics. LMCS 10 (2015)","DOI":"10.2168\/LMCS-10(4:20)2014"},{"key":"285_CR19","doi-asserted-by":"publisher","unstructured":"Lange, J., Tuosto, E.: Synthesising choreographies from local session types. In: CONCUR, pp. 225\u2013239 (2012)","DOI":"10.1007\/978-3-642-32940-1_17"},{"key":"285_CR20","doi-asserted-by":"publisher","unstructured":"Lange, J., Tuosto, E., Yoshida, N.: From communicating machines to graphical choreographies. In: POPL 2015, pp. 221\u2013232. ACM (2015)","DOI":"10.1145\/2676726.2676964"},{"key":"285_CR21","doi-asserted-by":"publisher","unstructured":"Lindley, S., Garrett M.J.: A semantics for propositions as sessions. In: ESOP, pp. 560\u2013584 (2015)","DOI":"10.1007\/978-3-662-46669-8_23"},{"key":"285_CR22","doi-asserted-by":"publisher","unstructured":"Montesi, F., Yoshida, N.: Compositional choreographies. In: CONCUR, pp. 425\u2013439 (2013)","DOI":"10.1007\/978-3-642-40184-8_30"},{"key":"285_CR23","doi-asserted-by":"publisher","unstructured":"Padovani, L., Vasconcelos, V.T., Vieira, H.T.: Typing liveness in multiparty communicating systems. In: COORDINATION, pp. 147\u2013162 (2014)","DOI":"10.1007\/978-3-662-43376-8_10"},{"key":"285_CR24","volume-title":"The $$\\pi $$ \u03c0","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The $$\\pi $$ \u03c0 -calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"285_CR25","unstructured":"Scribble Project Home Page. http:\/\/www.scribble.org"},{"key":"285_CR26","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ic.2012.05.002","volume":"217","author":"VT Vasconcelos","year":"2012","unstructured":"Vasconcelos, V.T.: Fundamentals of session types. Inf. Comput. 217, 52\u201370 (2012)","journal-title":"Inf. Comput."},{"key":"285_CR27","doi-asserted-by":"publisher","unstructured":"Wadler, P.: Propositions as sessions. In: ICFP, pp. 273\u2013286 (2012)","DOI":"10.1145\/2364527.2364568"},{"issue":"2\u20133","key":"285_CR28","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1017\/S095679681400001X","volume":"24","author":"P Wadler","year":"2014","unstructured":"Wadler, P.: Propositions as sessions. J. Funct. Prog. 24(2\u20133), 384\u2013418 (2014)","journal-title":"J. Funct. Prog."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0285-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-016-0285-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0285-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T13:52:34Z","timestamp":1568555554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-016-0285-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,16]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["285"],"URL":"https:\/\/doi.org\/10.1007\/s00236-016-0285-y","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2016,11,16]]}}}