{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:05:12Z","timestamp":1781172312243,"version":"3.54.1"},"reference-count":66,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T00:00:00Z","timestamp":1415577600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2016,2]]},"abstract":"<jats:p>A multiparty session forms a unit of structured communication among many participants which follow communication sequences specified as a global type. When a process is engaged in two or more sessions simultaneously, different sessions can be interleaved and can interfere at runtime. Previous work on multiparty session types has ignored session interleaving, providing a limited progress property ensured only within a single session, by assuming non-interference among different sessions and by forbidding delegation. This paper develops, besides a more traditional, compositional<jats:italic>communication<\/jats:italic>type system, a novel static<jats:italic>interaction<\/jats:italic>type system for global progress in dynamically interleaved and interfered multiparty sessions. The interaction type system infers causalities of channels making sure that processes do not get stuck at intermediate stages of sessions also in presence of delegation.<\/jats:p>","DOI":"10.1017\/s0960129514000188","type":"journal-article","created":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T12:01:25Z","timestamp":1415620885000},"page":"238-302","source":"Crossref","is-referenced-by-count":74,"title":["Global progress for dynamically interleaved multiparty sessions"],"prefix":"10.1017","volume":"26","author":[{"given":"MARIO","family":"COPPO","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"MARIANGIOLA","family":"DEZANI-CIANCAGLINI","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"NOBUKO","family":"YOSHIDA","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"LUCA","family":"PADOVANI","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,11,10]]},"reference":[{"key":"S0960129514000188_ref58","unstructured":"Scribble (2008) Scribble JBoss RedHat Project. Available at: http:\/\/www.jboss.org\/scribble."},{"key":"S0960129514000188_ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78739-6_21"},{"key":"S0960129514000188_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_17"},{"key":"S0960129514000188_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40184-8_30"},{"key":"S0960129514000188_ref46","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"Milner","year":"1999"},{"key":"S0960129514000188_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_12"},{"key":"S0960129514000188_ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.056"},{"key":"S0960129514000188_ref42","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(02)93171-8"},{"key":"S0960129514000188_ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370794"},{"key":"S0960129514000188_ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19056-8_4"},{"key":"S0960129514000188_ref56","volume-title":"Types and Programming Languages","author":"Pierce","year":"2002"},{"key":"S0960129514000188_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79980-1_8"},{"key":"S0960129514000188_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78663-4_18"},{"key":"S0960129514000188_ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2220365.2220367"},{"key":"S0960129514000188_ref3","first-page":"124","volume-title":"CSF'09","author":"Bhargavan","year":"2009"},{"key":"S0960129514000188_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14458-5_1"},{"key":"S0960129514000188_ref10","doi-asserted-by":"crossref","unstructured":"Buscemi M. G. , Coppo M. , Dezani-Ciancaglini M. and Montanari U. (2012) Constraints for service contracts. In: TGC'11. Springer Lecture Notes in Computer Science 104\u2013120.","DOI":"10.1007\/978-3-642-30065-3_7"},{"key":"S0960129514000188_ref53","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.41.9"},{"key":"S0960129514000188_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21464-6_8"},{"key":"S0960129514000188_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_10"},{"key":"S0960129514000188_ref13","first-page":"338","article-title":"Global escape in multiparty sessions","volume":"8","author":"Capecchi","year":"2010","journal-title":"Leibniz International Proceedings in Informatics"},{"key":"S0960129514000188_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_16"},{"key":"S0960129514000188_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39212-2_18"},{"key":"S0960129514000188_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33518-1_37"},{"key":"S0960129514000188_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_3"},{"key":"S0960129514000188_ref37","first-page":"22","article-title":"Language primitives and type disciplines for structured communication-based programming","volume":"1381","author":"Honda","year":"1998","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"S0960129514000188_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_24"},{"key":"S0960129514000188_ref55","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.137.2"},{"key":"S0960129514000188_ref63","unstructured":"Web Services Choreography Working Group (2002) Web Services Choreography description language. Available at: http:\/\/www.w3.org\/2002\/ws\/chor\/."},{"key":"S0960129514000188_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30065-3_2"},{"key":"S0960129514000188_ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_25"},{"key":"S0960129514000188_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_15"},{"key":"S0960129514000188_ref17","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"S0960129514000188_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.010"},{"key":"S0960129514000188_ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_23"},{"key":"S0960129514000188_ref32","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_20"},{"key":"S0960129514000188_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68679-8_40"},{"key":"S0960129514000188_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32940-1_16"},{"key":"S0960129514000188_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38493-6_4"},{"key":"S0960129514000188_ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429101"},{"key":"S0960129514000188_ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04167-9_12"},{"key":"S0960129514000188_ref29","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(4:6)2012"},{"key":"S0960129514000188_ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_22"},{"key":"S0960129514000188_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39088-3_8"},{"key":"S0960129514000188_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72952-5_1"},{"key":"S0960129514000188_ref61","unstructured":"UNIFI (2002) International Organization for Standardization ISO 20022 UNIversal Financial Industry message scheme. Available at: http:\/\/www.iso20022.org."},{"key":"S0960129514000188_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_33"},{"key":"S0960129514000188_ref8","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"S0960129514000188_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_8"},{"key":"S0960129514000188_ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30561-0_15"},{"key":"S0960129514000188_ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034811"},{"key":"S0960129514000188_ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32940-1_17"},{"key":"S0960129514000188_ref57","unstructured":"Savara (2010) SAVARA JBoss RedHat Project. Available at: http:\/\/www.jboss.org\/savara."},{"key":"S0960129514000188_ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13414-2_11"},{"key":"S0960129514000188_ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2460216.2460221"},{"key":"S0960129514000188_ref54","unstructured":"OOI (2010) Ocean observatories initiative. Available at: http:\/\/www.oceanleadership.org\/programs-and-partnerships\/ocean-observing\/ooi\/."},{"key":"S0960129514000188_ref64","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62034-6_64"},{"key":"S0960129514000188_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32940-1_20"},{"key":"S0960129514000188_ref43","doi-asserted-by":"crossref","unstructured":"Kouzapas D. and Yoshida N. (2013) Governed session semantics. In: CONCUR'13. Springer Lecture Notes in Computer Science. To appear.","DOI":"10.1007\/978-3-642-40184-8_28"},{"key":"S0960129514000188_ref44","first-page":"305","volume-title":"SEFM'07","author":"Lanese","year":"2007"},{"key":"S0960129514000188_ref14","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.38.4"},{"key":"S0960129514000188_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38592-6_5"},{"key":"S0960129514000188_ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926435"},{"key":"S0960129514000188_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78663-4_17"},{"key":"S0960129514000188_ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"S0960129514000188_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44471-9_5"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129514000188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T05:40:22Z","timestamp":1566020422000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129514000188\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,10]]},"references-count":66,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["S0960129514000188"],"URL":"https:\/\/doi.org\/10.1017\/s0960129514000188","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,10]]}}}