{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T04:10:25Z","timestamp":1778818225381,"version":"3.51.4"},"reference-count":104,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T00:00:00Z","timestamp":1772841600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100018693","name":"Horizon Europe","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100018693","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000893","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100032827","name":"Advanced Research and Invention Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100032827","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/T014709\/2"],"award-info":[{"award-number":["EP\/T014709\/2"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/Z0005801\/1"],"award-info":[{"award-number":["EP\/Z0005801\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/X015955\/1"],"award-info":[{"award-number":["EP\/X015955\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V000462\/1"],"award-info":[{"award-number":["EP\/V000462\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/T006544\/2"],"award-info":[{"award-number":["EP\/T006544\/2"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/Y005244\/1"],"award-info":[{"award-number":["EP\/Y005244\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1016\/j.tcs.2026.115873","type":"journal-article","created":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T20:21:48Z","timestamp":1774815708000},"page":"115873","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Less is more revisited: Association with global protocols and multiparty sessions"],"prefix":"10.1016","volume":"1076","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6899-9971","authenticated-orcid":false,"given":"Ping","family":"Hou","sequence":"first","affiliation":[]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[]},{"given":"Iona","family":"Kuhn","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2026.115873_bib0001","series-title":"POPL","article-title":"Multiparty asynchronous session types","author":"Honda","year":"2008"},{"issue":"1","key":"10.1016\/j.tcs.2026.115873_bib0002","doi-asserted-by":"crossref","DOI":"10.1145\/2827695","article-title":"Multiparty asynchronous session types","volume":"63","author":"Honda","year":"2016","journal-title":"J. ACM"},{"key":"10.1016\/j.tcs.2026.115873_bib0003","doi-asserted-by":"crossref","first-page":"30:1","DOI":"10.1145\/3290343","article-title":"Less is more: multiparty session types revisited","volume":"3","author":"Scalas","year":"2019","journal-title":"Proc. ACM Program. Lang."},{"key":"10.1016\/j.tcs.2026.115873_bib0004","series-title":"RFC","article-title":"The WebSocket Protocol","author":"Fette","year":"2011"},{"key":"10.1016\/j.tcs.2026.115873_bib0005","unstructured":"Web Services Choreography Working Group, 2003, (http:\/\/w3.org\/2002\/ws\/chor\/)."},{"key":"10.1016\/j.tcs.2026.115873_bib0006","series-title":"19th International Conference on Fundamental Approaches to Software Engineering, Volume 9633 of LNCS","first-page":"401","article-title":"Hybrid session verification through endpoint API generation","author":"Hu","year":"2016"},{"key":"10.1016\/j.tcs.2026.115873_bib0007","series-title":"FASE","article-title":"Explicit connection actions in multiparty session types","author":"Hu","year":"2017"},{"key":"10.1016\/j.tcs.2026.115873_bib0008","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.scico.2017.10.006","article-title":"Typechecking protocols with Mungo and StMungo: a session type toolchain for Java","volume":"155","author":"Kouzapas","year":"2018","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.tcs.2026.115873_bib0009","first-page":"19","article-title":"Multiparty session typing in Java, deductively","author":"Bouma","year":"2023"},{"issue":"POPL","key":"10.1016\/j.tcs.2026.115873_bib0010","first-page":"29:1","article-title":"Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures","volume":"3","author":"Castro-Perez","year":"2019","journal-title":"Proc. ACM Program. Lang."},{"key":"10.1016\/j.tcs.2026.115873_bib0011","series-title":"27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, abs\/2112.12693 of PPoPP \u201922","first-page":"246","article-title":"Deadlock-free asynchronous message reordering in rust with multiparty session types","author":"Cutner","year":"2022"},{"key":"10.1016\/j.tcs.2026.115873_bib0012","series-title":"36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6\u201310, 2022, Berlin, Germany, Volume 222 of LIPIcs","first-page":"4:1","article-title":"Stay safe under panic: affine rust programming with multiparty session types","author":"Lagaillardie","year":"2022"},{"key":"10.1016\/j.tcs.2026.115873_bib0013","series-title":"38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16\u201320, 2024, Vienna, Austria, 313 of LIPIcs","first-page":"19:1","article-title":"Fearless asynchronous communications with timed multiparty session protocols","author":"Hou","year":"2024"},{"key":"10.1016\/j.tcs.2026.115873_bib0014","series-title":"38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16\u201320, 2024, Vienna, Austria, Volume 313 of LIPIcs","first-page":"41:1","article-title":"Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation","author":"Vassor","year":"2024"},{"key":"10.1016\/j.tcs.2026.115873_bib0015","series-title":"International Conference on Compiler Construction, CC","first-page":"94","article-title":"Communication-safe web programming in typescript with routed multiparty session types","author":"Miu","year":"2021"},{"key":"10.1016\/j.tcs.2026.115873_bib0016","series-title":"36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6\u201310, 2022, Berlin, Germany, Volume 222 of LIPIcs","first-page":"8:1","article-title":"Design-by-contract for flexible multiparty session protocols","author":"Gheri","year":"2022"},{"key":"10.1016\/j.tcs.2026.115873_bib0017","series-title":"Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019, Volume 291 of EPTCS","first-page":"35","article-title":"Multiparty session type-safe web development with static linearity","author":"King","year":"2019"},{"key":"10.1016\/j.tcs.2026.115873_bib0018","series-title":"ECOOP","article-title":"A linear decomposition of multiparty sessions for safe distributed programming","author":"Scalas","year":"2017"},{"issue":"OOPSLA","key":"10.1016\/j.tcs.2026.115873_bib0019","doi-asserted-by":"crossref","DOI":"10.1145\/3485501","article-title":"A multiparty session typing discipline for fault-tolerant event-driven distributed programming","volume":"5","author":"Viering","year":"2021","journal-title":"Proc. ACM Program. Lang."},{"key":"10.1016\/j.tcs.2026.115873_sbref0020","series-title":"36th European Conference on Object-Oriented Programming (ECOOP 2022), Volume 222 of Leibniz International Proceedings in Informatics (LIPIcs)","first-page":"27:1","article-title":"API Generation for multiparty session types, revisited and revised using scala 3","author":"Cledou","year":"2022"},{"key":"10.1016\/j.tcs.2026.115873_bib0021","series-title":"European Conference on Object Oriented Programming, Volume 263 of LIPIcs","first-page":"1:1","article-title":"Designing asynchronous multiparty protocols with crash stop failures","author":"Barwell","year":"2023"},{"key":"10.1016\/j.tcs.2026.115873_bib0022","series-title":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17\u201321, 2023","first-page":"1511","article-title":"Oven: safe and live communication protocols in scala, using synthetic behavioural type analysis","author":"Ferreira","year":"2023"},{"key":"10.1016\/j.tcs.2026.115873_bib0023","first-page":"145","article-title":"Multiparty session typing, embedded","author":"Jongmans","year":"2025"},{"key":"10.1016\/j.tcs.2026.115873_bib0024","series-title":"23rd International Symposium on Fundamentals of Computation Theory, Volume 12867 of LNCS","first-page":"18","article-title":"Communicating finite state machines and an extensible toolchain for multiparty session types","author":"Yoshida","year":"2021"},{"key":"10.1016\/j.tcs.2026.115873_bib0025","series-title":"34th European Conference on Object-Oriented Programming, Volume 166 of LIPIcs","first-page":"9:1","article-title":"Multiparty session programming with global protocol combinators","author":"Imai","year":"2020"},{"key":"10.1016\/j.tcs.2026.115873_bib0026","series-title":"24th International Conference on Compiler Construction, Volume 9031 of LNCS","first-page":"212","article-title":"Protocols by default: safe MPI code generation based on session types","author":"Ng","year":"2015"},{"key":"10.1016\/j.tcs.2026.115873_bib0027","series-title":"OOPSLA 2020: Conference on Object-Oriented Programming Systems, Languages and Applications, Volume 4 of PACMPL","first-page":"148:1","article-title":"Statically verified refinements for multiparty protocols","author":"Zhou","year":"2020"},{"key":"10.1016\/j.tcs.2026.115873_bib0028","series-title":"27th International Conference on Compiler Construction","first-page":"128","article-title":"A session type provider: compile-time API generation for distributed protocols with interaction refinements in F#","author":"Neykova","year":"2018"},{"key":"10.1016\/j.tcs.2026.115873_bib0029","series-title":"Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24\u201327, 2013. Proceedings, Volume 8174 of Lecture Notes in Computer Science","first-page":"358","article-title":"SPY: local verification of global protocols","author":"Neykova","year":"2013"},{"key":"10.1016\/j.tcs.2026.115873_bib0030","first-page":"1","article-title":"Multiparty session actors","volume":"13","author":"Neykova","year":"2017","journal-title":"Log. Method. Comput. Sci."},{"issue":"3","key":"10.1016\/j.tcs.2026.115873_bib0031","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/s10703-014-0218-8","article-title":"Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python","volume":"46","author":"Demangeon","year":"2015","journal-title":"Formal Method. Syst. Des."},{"key":"10.1016\/j.tcs.2026.115873_bib0032","series-title":"Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8\u20139 June 2016, Volume 223 of EPTCS","first-page":"36","article-title":"An erlang implementation of multiparty session actors","author":"Fowler","year":"2016"},{"key":"10.1016\/j.tcs.2026.115873_bib0033","series-title":"CC","article-title":"Let it recover: multiparty protocol-induced recovery","author":"Neykova","year":"2017"},{"key":"10.1016\/j.tcs.2026.115873_bib0034","series-title":"Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11\u201313, 2022","first-page":"532","article-title":"Multiparty-session-types coordination for core erlang","author":"Egidi","year":"2022"},{"key":"10.1016\/j.tcs.2026.115873_bib0035","series-title":"50th International Conference on Objects, Models, Components, Patterns, Volume 7304 of LNCS","first-page":"202","article-title":"Multiparty session C: safe parallel programming with message optimisation","author":"Ng","year":"2012"},{"key":"10.1016\/j.tcs.2026.115873_bib0036","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/2460216.2460221","article-title":"Session types: towards safe and fast reconfigurable programming","volume":"40","author":"Ng","year":"2012","journal-title":"ACM SIGARCH Comput. Architect. News"},{"key":"10.1016\/j.tcs.2026.115873_bib0037","series-title":"Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020, Volume 314 of EPTCS","first-page":"61","article-title":"Fluent session programming in C#","author":"Kimura","year":"2020"},{"key":"10.1016\/j.tcs.2026.115873_bib0038","series-title":"Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012, Volume 91 of EPTCS","first-page":"16","article-title":"Parameterized concurrent multi-party session types","author":"Charalambides","year":"2012"},{"key":"10.1016\/j.tcs.2026.115873_bib0039","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.scico.2015.10.006","article-title":"Parameterized, concurrent session types for asynchronous multi-actor interactions","volume":"115\u2013116","author":"Charalambides","year":"2016","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.tcs.2026.115873_bib0040","series-title":"35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11\u201317, 2021, Aarhus, Denmark (Virtual Conference), Volume 194 of LIPIcs","first-page":"10:1","article-title":"Multiparty session types for safe runtime adaptation in an actor language","author":"Harvey","year":"2021"},{"key":"10.1016\/j.tcs.2026.115873_bib0041","series-title":"Active Object Languages: Current Research Trends, Volume 14360 of Lecture Notes in Computer Science","first-page":"147","article-title":"Programming language implementations with multiparty session types","author":"Yoshida","year":"2024"},{"issue":"POPL","key":"10.1016\/j.tcs.2026.115873_bib0042","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1145\/3704872","article-title":"Top-down or bottom-up? Complexity analyses of synchronous multiparty session types","volume":"9","author":"Udomsrirungruang","year":"2025","journal-title":"Proc. ACM Program. Lang."},{"issue":"14","key":"10.1016\/j.tcs.2026.115873_bib0043","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3568422","article-title":"Precise subtyping for asynchronous multiparty sessions","volume":"Volume 24, Issue 2","author":"Ghilezan","year":"2023","journal-title":"ACM Trans. Comput. Logic"},{"key":"10.1016\/j.tcs.2026.115873_bib0044","series-title":"PLDI \u201921: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20\u201325, 2021","first-page":"237","article-title":"Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes","author":"Castro-Perez","year":"2021"},{"issue":"ICFP","key":"10.1016\/j.tcs.2026.115873_bib0045","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1145\/3547638","article-title":"Multiparty GV: functional multiparty session types with certified deadlock freedom","volume":"6","author":"Jacobs","year":"2022","journal-title":"Proc. ACM Program. Lang."},{"key":"10.1016\/j.tcs.2026.115873_bib0046","series-title":"37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, July 17\u201321, 2023, Volume 263 of LIPIcs","first-page":"42:1","article-title":"Synthetic behavioural typing: sound, regular multiparty sessions via implicit local types","author":"Jongmans","year":"2023"},{"key":"10.1016\/j.tcs.2026.115873_bib0047","series-title":"37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, July 17\u201321, 2023, Volume 263 of LIPIcs","first-page":"32:1","article-title":"Asynchronous multiparty session type implementability is decidable - lessons learned from message sequence charts","author":"Stutz","year":"2023"},{"key":"10.1016\/j.tcs.2026.115873_bib0048","first-page":"314","article-title":"An automata-theoretic basis for specification and type checking of multiparty protocols","author":"Stutz","year":"2025"},{"key":"10.1016\/j.tcs.2026.115873_bib0049","series-title":"16th International Conference on Interactive Theorem Proving, ITP 2025, Reykjavik, Iceland, September 28\u2013October 1, 2025, Volume 352 of LIPIcs","first-page":"15:1","article-title":"Certified implementability of global multiparty protocols","author":"Li","year":"2025"},{"issue":"OOPSLA2","key":"10.1016\/j.tcs.2026.115873_bib0050","doi-asserted-by":"crossref","first-page":"1446","DOI":"10.1145\/3689762","article-title":"Multris: functional verification of multiparty message passing in separation logic","volume":"8","author":"Hinrichsen","year":"2024","journal-title":"Proc. ACM Program. Lang."},{"key":"10.1016\/j.tcs.2026.115873_bib0051","series-title":"CONCUR","article-title":"Global progress in dynamically interleaved multiparty sessions","author":"Bettini","year":"2008"},{"key":"10.1016\/j.tcs.2026.115873_bib0052","series-title":"FOSSACS","article-title":"Parameterised multiparty session types","author":"Yoshida","year":"2010"},{"issue":"4","key":"10.1016\/j.tcs.2026.115873_bib0053","article-title":"Parameterised multiparty session types","volume":"8","author":"Deni\u00e9lou","year":"2012","journal-title":"LMCS"},{"key":"10.1016\/j.tcs.2026.115873_bib0054","series-title":"ESOP","article-title":"Multiparty session types meet communicating automata","author":"Deni\u00e9lou","year":"2012"},{"issue":"5","key":"10.1016\/j.tcs.2026.115873_bib0055","article-title":"Lightening global types","volume":"84","author":"Chen","year":"2015","journal-title":"JLAMP"},{"key":"10.1016\/j.tcs.2026.115873_bib0056","series-title":"A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, Volume 9600 of LNCS","article-title":"Certifying data in multiparty session types","author":"Toninho","year":"2016"},{"key":"10.1016\/j.tcs.2026.115873_bib0057","series-title":"ICDCIT, Volume 6536 of LNCS","first-page":"55","article-title":"Scribbling interactions with a formal foundation","author":"Honda","year":"2011"},{"key":"10.1016\/j.tcs.2026.115873_bib0058","series-title":"Trustworthy Global Computing, Volume 8358 of LNCS","first-page":"22","article-title":"The scribble protocol language","author":"Yoshida","year":"2013"},{"issue":"2\u20133","key":"10.1016\/j.tcs.2026.115873_bib0059","article-title":"Subtyping for session types in the \u03c0-calculus","volume":"42","author":"Gay","year":"2005","journal-title":"Acta Inf."},{"key":"10.1016\/j.tcs.2026.115873_bib0060","series-title":"The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II, Volume 14781 of Lecture Notes in Computer Science","first-page":"268","article-title":"Less is more revisited: association with global multiparty session types","author":"Yoshida","year":"2024"},{"issue":"2","key":"10.1016\/j.tcs.2026.115873_bib0061","doi-asserted-by":"crossref","first-page":"8:1","DOI":"10.1145\/2220365.2220367","article-title":"Structured communication-centered programming for web services","volume":"34","author":"Carbone","year":"2012","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.tcs.2026.115873_bib0062","series-title":"CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6\u20139, 2011. Proceedings, Volume 6901 of Lecture Notes in Computer Science","first-page":"280","article-title":"Full abstraction in a subtyped pi-calculus with linear types","author":"Demangeon","year":"2011"},{"key":"10.1016\/j.tcs.2026.115873_bib0063","series-title":"Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1\u20133, 2009. Proceedings, Volume 5608 of Lecture Notes in Computer Science","first-page":"203","article-title":"Session-based communication optimisation for higher-order mobile processes","author":"Mostrous","year":"2009"},{"key":"10.1016\/j.tcs.2026.115873_bib0064","series-title":"PPDP","article-title":"On the preciseness of subtyping in session types","author":"Chen","year":"2014"},{"issue":"2","key":"10.1016\/j.tcs.2026.115873_bib0065","article-title":"On the preciseness of subtyping in session types","volume":"13","author":"Chen","year":"2017","journal-title":"Log. Method. Comput. Sci."},{"key":"10.1016\/j.tcs.2026.115873_bib0066","series-title":"A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, Volume 9600 of LNCS","article-title":"Subtyping supports safe session substitution","author":"Gay","year":"2016"},{"key":"10.1016\/j.tcs.2026.115873_bib0067","series-title":"33rd International Conference on Concurrency Theory, Volume 243 of LIPIcs","first-page":"35:1","article-title":"Generalised multiparty session types with crash-stop failures","author":"Barwell","year":"2022"},{"key":"10.1016\/j.tcs.2026.115873_bib0068","series-title":"Types and Programming Languages","author":"Pierce","year":"2002"},{"key":"10.1016\/j.tcs.2026.115873_bib0069","unstructured":"OAuth Working Group, RFC 6749: OAuth 2.0 Framework, 2012, (http:\/\/tools.ietf.org\/html\/rfc6749)."},{"key":"10.1016\/j.tcs.2026.115873_bib0070","series-title":"Distributed Computing and Internet Technology - 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9\u201312, 2020, Proceedings, Volume 11969 of Lecture Notes in Computer Science","first-page":"73","article-title":"A very gentle introduction to multiparty session types","author":"Yoshida","year":"2020"},{"key":"10.1016\/j.tcs.2026.115873_bib0071","series-title":"40th International Colloquium on Automata, Languages and Programming, Volume 7966 of LNCS","first-page":"174","article-title":"Multiparty compatibility in communicating automata: characterisation and synthesis of global session types","author":"Deni\u00e9lou","year":"2013"},{"key":"10.1016\/j.tcs.2026.115873_bib0072","series-title":"Introduction to Bisimulation and Coinduction","author":"Sangiorgi","year":"2011"},{"key":"10.1016\/j.tcs.2026.115873_bib0073","series-title":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","first-page":"1","article-title":"Assuming just enough fairness to make session types complete for lock-freedom","author":"van Glabbeek","year":"2021"},{"key":"10.1016\/j.tcs.2026.115873_bib0074","article-title":"Using higher-order contracts to model session types","volume":"12(2)","author":"Bernardi","year":"2016","journal-title":"LMCS"},{"key":"10.1016\/j.tcs.2026.115873_bib0075","article-title":"Global progress for dynamically interleaved multiparty sessions","volume":"760","author":"Coppo","year":"2015","journal-title":"MSCS"},{"key":"10.1016\/j.tcs.2026.115873_bib0076","first-page":"147","article-title":"Typing liveness in multiparty communicating systems","author":"Padovani","year":"2014"},{"key":"10.1016\/j.tcs.2026.115873_bib0077","doi-asserted-by":"crossref","DOI":"10.1016\/j.scico.2022.102840","article-title":"A decentralized analysis of multiparty protocols","volume":"222","author":"van den Heuvel","year":"2022","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.tcs.2026.115873_bib0078","series-title":"36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, June 6\u201310, 2022, Volume 222 of LIPIcs","first-page":"26:1","article-title":"Fair termination of multiparty sessions","author":"Ciccone","year":"2022"},{"key":"10.1016\/j.tcs.2026.115873_bib0079","article-title":"Fair termination of multiparty sessions","volume":"139","author":"Ciccone","year":"2024","journal-title":"J. Log. Algebr. Method. Program."},{"issue":"5","key":"10.1016\/j.tcs.2026.115873_bib0080","doi-asserted-by":"crossref","DOI":"10.1145\/1745312.1745313","article-title":"A hybrid type system for lock-freedom of mobile processes","volume":"32","author":"Kobayashi","year":"2010","journal-title":"TOPLAS"},{"key":"10.1016\/j.tcs.2026.115873_bib0081","series-title":"CSL-LICS","article-title":"Deadlock and lock freedom in the linear \u03c0-calculus","author":"Padovani","year":"2014"},{"key":"10.1016\/j.tcs.2026.115873_bib0082","first-page":"363","article-title":"MAG\u03c0: types for failure-prone communication","author":"Brun","year":"2023"},{"key":"10.1016\/j.tcs.2026.115873_bib0083","series-title":"CONCUR","article-title":"Multiparty session types as coherence proofs","author":"Carbone","year":"2015"},{"key":"10.1016\/j.tcs.2026.115873_bib0084","series-title":"CONCUR","article-title":"Coherence generalises duality: a logical explanation of multiparty session types","author":"Carbone","year":"2016"},{"key":"10.1016\/j.tcs.2026.115873_bib0085","series-title":"FORTE","article-title":"Multiparty session types within a canonical binary theory, and beyond","author":"Caires","year":"2016"},{"key":"10.1016\/j.tcs.2026.115873_bib0086","series-title":"Formal Methods for Multicore Programming","article-title":"A gentle introduction to multiparty asynchronous session types","author":"Coppo","year":"2015"},{"key":"10.1016\/j.tcs.2026.115873_bib0087","article-title":"Certifying data in multiparty session types","volume":"90","author":"Toninho","year":"2017","journal-title":"JLAMP"},{"key":"10.1016\/j.tcs.2026.115873_bib0088","article-title":"Crash-stop failures in asynchronous multiparty session types","volume":"21(2)","author":"Barwell","year":"2025","journal-title":"Log. Method. Comput. Sci."},{"key":"10.1016\/j.tcs.2026.115873_bib0089","series-title":"PLACES","article-title":"Precise subtyping for synchronous multiparty sessions","author":"Dezani-Ciancaglini","year":"2015"},{"key":"10.1016\/j.tcs.2026.115873_bib0090","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.jlamp.2018.12.002","article-title":"Precise subtyping for synchronous multiparty sessions","volume":"104","author":"Ghilezan","year":"2019","journal-title":"J. Log. Algebr. Method. Program."},{"key":"10.1016\/j.tcs.2026.115873_bib0091","series-title":"CONCUR","article-title":"Session types as intuitionistic linear propositions","author":"Caires","year":"2010"},{"key":"10.1016\/j.tcs.2026.115873_bib0092","series-title":"ICFP","article-title":"Propositions as sessions","author":"Wadler","year":"2012"},{"key":"10.1016\/j.tcs.2026.115873_bib0093","series-title":"Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17\u201322, 2023, Proceedings, Part III, Volume 13966 of Lecture Notes in Computer Science","first-page":"350","article-title":"Complete multiparty session type projection with automata","author":"Li","year":"2023"},{"key":"10.1016\/j.tcs.2026.115873_bib0094","series-title":"Multiparty session types, beyond duality","volume":"97","author":"Scalas","year":"2018"},{"key":"10.1016\/j.tcs.2026.115873_bib0095","first-page":"21","article-title":"The mCRL2 toolset for analysing concurrent systems - improvements in expressivity and usability","author":"Bunte","year":"2019"},{"key":"10.1016\/j.tcs.2026.115873_bib0096","first-page":"125","article-title":"Multiparty session types with a bang!","author":"Brun","year":"2025"},{"key":"10.1016\/j.tcs.2026.115873_bib0097","first-page":"349","article-title":"Iso-recursive multiparty sessions and their automated verification","author":"Giunti","year":"2025"},{"key":"10.1016\/j.tcs.2026.115873_bib0098","series-title":"14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Bia\u0142ystok, Poland, Volume 268 of LIPIcs","first-page":"28:1","article-title":"A sound and complete projection for global types","author":"Tirore","year":"2023"},{"issue":"2","key":"10.1016\/j.tcs.2026.115873_bib0099","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/s10817-025-09726-9","article-title":"A sound and complete projection for global types","volume":"69","author":"Tirore","year":"2025","journal-title":"J. Autom. Reason."},{"key":"10.1016\/j.tcs.2026.115873_bib0100","first-page":"909","article-title":"A higher-order logic for concurrent termination-preserving refinement","author":"Tassarotti","year":"2017"},{"issue":"1","key":"10.1016\/j.tcs.2026.115873_bib0101","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1017\/S0956796809990268","article-title":"Linear type theory for asynchronous session types","volume":"20","author":"Gay","year":"2010","journal-title":"J. Funct. Program."},{"key":"10.1016\/j.tcs.2026.115873_bib0102","series-title":"A Mechanisation of Multiparty Session Types","author":"Tirore","year":"2024"},{"key":"10.1016\/j.tcs.2026.115873_bib0103","series-title":"39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30, to July 2, 2025, Bergen, Norway, Volume 333 of LIPIcs","first-page":"31:1","article-title":"Multiparty asynchronous session types: a mechanised proof of subject reduction","author":"Tirore","year":"2025"},{"key":"10.1016\/j.tcs.2026.115873_bib0104","series-title":"16th International Conference on Interactive Theorem Proving, ITP 2025, Reykjavik, Iceland, September 28\u2013October 1, 2025, Volume 352 of LIPIcs","first-page":"19:1","article-title":"Formalising subject reduction and progress for multiparty session processes","author":"Ekici","year":"2025"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526001325?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526001325?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T03:25:06Z","timestamp":1778815506000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397526001325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":104,"alternative-id":["S0304397526001325"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2026.115873","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2026,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Less is more revisited: Association with global protocols and multiparty sessions","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.tcs.2026.115873","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"115873"}}