{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T14:34:04Z","timestamp":1771338844727,"version":"3.50.1"},"reference-count":35,"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,1,15]],"date-time":"2026-01-15T00:00:00Z","timestamp":1768435200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Logical and Algebraic Methods in Programming"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1016\/j.jlamp.2026.101109","type":"journal-article","created":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T16:45:26Z","timestamp":1768841126000},"page":"101109","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Safe orchestrated multicomposition of systems of communicating finite state machines"],"prefix":"10.1016","volume":"150","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8039-1085","authenticated-orcid":false,"given":"Franco","family":"Barbanera","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jlamp.2026.101109_bib0001","series-title":"Proc. PPDP 2023","first-page":"2:1","article-title":"Multicompatibility for multiparty-session composition","author":"Barbanera","year":"2023"},{"key":"10.1016\/j.jlamp.2026.101109_bib0002","article-title":"Connecting open systems of communicating finite state machines","volume":"109,","author":"Barbanera","year":"2019","journal-title":"J. Log. Algebraic Methods Program."},{"key":"10.1016\/j.jlamp.2026.101109_bib0003","article-title":"Composition and decomposition of multiparty sessions","volume":"119,","author":"Barbanera","year":"2021","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"2","key":"10.1016\/j.jlamp.2026.101109_bib0004","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","article-title":"On communicating finite-state machines","volume":"30","author":"Brand","year":"1983","journal-title":"J. ACM"},{"key":"10.1016\/j.jlamp.2026.101109_bib0005","series-title":"Proceedings 17th Interaction and Concurrency Experience, Groningen, the Netherlands, 21st June 2024","first-page":"39","article-title":"Safe composition of systems of communicating finite state machines","volume":"414","author":"Barbanera","year":"2024"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101109_bib0006","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1016\/j.ic.2005.05.006","article-title":"Verification of programs with half-duplex communication","volume":"202","author":"C\u00e9c\u00e9","year":"2005","journal-title":"Inf. Comput."},{"key":"10.1016\/j.jlamp.2026.101109_bib0007","series-title":"Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing","first-page":"137-151","article-title":"Hierarchical correctness proofs for distributed algorithms","author":"Lynch","year":"1987"},{"key":"10.1016\/j.jlamp.2026.101109_bib0008","series-title":"Proc. ESOP 2012","first-page":"194","article-title":"Multiparty session types meet communicating automata","author":"Deni\u00e9lou","year":"2012"},{"key":"10.1016\/j.jlamp.2026.101109_bib0009","series-title":"Proc. POPL 2015","first-page":"221","article-title":"From communicating machines to graphical choreographies","author":"Lange","year":"2015"},{"key":"10.1016\/j.jlamp.2026.101109_bib0010","series-title":"Proc. CONCUR 2014","first-page":"281","article-title":"Decidable topologies for communicating automata with FIFO and bag channels","volume":"8704","author":"Clemente","year":"2014"},{"issue":"1","key":"10.1016\/j.jlamp.2026.101109_bib0011","first-page":"1","article-title":"Compatibility properties of synchronously and asynchronously communicating components","volume":"14","author":"Hennicker","year":"2018","journal-title":"Log. Meth. in Comp. Sci."},{"key":"10.1016\/j.jlamp.2026.101109_bib0012","article-title":"Composition of synchronous communicating systems","volume":"135,","author":"Barbanera","year":"2023","journal-title":"J. Log. Algebraic Methods Program."},{"key":"10.1016\/j.jlamp.2026.101109_sbref0013","series-title":"Proc. FACS 2022","first-page":"222","article-title":"Open compliance in multiparty sessions","volume":"13712","author":"Barbanera","year":"2022"},{"key":"10.1016\/j.jlamp.2026.101109_bib0014","doi-asserted-by":"crossref","DOI":"10.1016\/j.jlamp.2025.101046","article-title":"Open compliance in multiparty sessions with partial typing","volume":"144","author":"Barbanera","year":"2025","journal-title":"J. Logical Algebraic Methods Programm."},{"key":"10.1016\/j.jlamp.2026.101109_bib0015","series-title":"Proc. ISoLA 2020","first-page":"39","article-title":"Composing communicating systems, synchronously","volume":"12476","author":"Barbanera","year":"2020"},{"key":"10.1016\/j.jlamp.2026.101109_bib0016","series-title":"Proc. ICE 2022","first-page":"53","article-title":"On composing communicating systems","volume":"365","author":"Barbanera","year":"2022"},{"issue":"OOPSLA1","key":"10.1016\/j.jlamp.2026.101109_bib0017","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1145\/3586031","article-title":"Hybrid multiparty session types: compositionality for protocol specification through endpoint projection","volume":"7","author":"Gheri","year":"2023","journal-title":"Proc. ACM Program. Lang."},{"issue":"51\u201352","key":"10.1016\/j.jlamp.2026.101109_bib0018","doi-asserted-by":"crossref","first-page":"4399","DOI":"10.1016\/j.tcs.2010.09.010","article-title":"Conversation types","volume":"411","author":"Caires","year":"2010","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101109_bib0019","series-title":"Proc. CONCUR 2013","first-page":"425","article-title":"Compositional choreographies","volume":"8052","author":"Montesi","year":"2013"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101109_bib0020","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/s10270-022-01040-x","article-title":"Composable partial multiparty session types for open systems","volume":"22","author":"Stolze","year":"2023","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.jlamp.2026.101109_bib0021","series-title":"Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10\u201314, 2001","first-page":"109","article-title":"Interface automata","author":"de Alfaro","year":"2001"},{"key":"10.1016\/j.jlamp.2026.101109_bib0022","series-title":"Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3\u201315 August 2004","first-page":"83","article-title":"Interface-based design","author":"de Alfaro","year":"2005"},{"key":"10.1016\/j.jlamp.2026.101109_bib0023","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2013.03.006","article-title":"Compatibility in a multi-component environment","volume":"484","author":"Carmona","year":"2013","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101109_bib0024","series-title":"Proc. FME 2003","first-page":"381","article-title":"Team automata satisfying compositionality","volume":"2805","author":"Beek","year":"2003"},{"key":"10.1016\/j.jlamp.2026.101109_bib0025","series-title":"Proc. ICTAC 2020","first-page":"200","article-title":"Compositionality of safe communication in systems of team automata","volume":"12545","author":"Beek","year":"2020"},{"issue":"2\u20133","key":"10.1016\/j.jlamp.2026.101109_bib0026","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s00236-015-0220-7","article-title":"Moving from interface theories to assembly theories","volume":"52","author":"Hennicker","year":"2015","journal-title":"Acta Inf."},{"key":"10.1016\/j.jlamp.2026.101109_bib0027","series-title":"Proc. SIGSOFT 2004","first-page":"137","article-title":"Verifying aspect advice modularly","author":"Krishnamurthi","year":"2004"},{"key":"10.1016\/j.jlamp.2026.101109_bib0028","article-title":"Choreographies for reactive programming","volume":"abs\/1801.08107","author":"Carbone","year":"2018","journal-title":"CoRR"},{"key":"10.1016\/j.jlamp.2026.101109_bib0029","series-title":"Proc. ICE 2020","first-page":"3","article-title":"A type language for message passing component-based systems","volume":"324","author":"Savanovic","year":"2020"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101109_bib0030","doi-asserted-by":"crossref","DOI":"10.22152\/programming-journal.org\/2023\/7\/6","article-title":"A theory of composing protocols","volume":"7","author":"Bocchi","year":"2023","journal-title":"Art Sci. Eng. Program."},{"key":"10.1016\/j.jlamp.2026.101109_sbref0031","first-page":"11","article-title":"What do you mean, coordination?","author":"Arbab","year":"1998","journal-title":"Bullet. Dutch Assoc. Theoretical Comput. Sci. NVTI"},{"issue":"3","key":"10.1016\/j.jlamp.2026.101109_bib0032","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","article-title":"Reo: a channel-based coordination model for component composition","volume":"14","author":"Arbab","year":"2004","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101109_bib0033","doi-asserted-by":"crossref","DOI":"10.1016\/j.scico.2020.102498","article-title":"CHOReVolution: service choreography in practice","volume":"197","author":"Autili","year":"2020","journal-title":"Sci. Comput. Program"},{"key":"10.1016\/j.jlamp.2026.101109_bib0034","series-title":"Logics and Models of Concurrent Systems - Conference Proceedings, Colle-sur-Loup (near Nice), France, 8\u201319 October 1984","first-page":"123","article-title":"In transition from global to modular temporal reasoning about programs","volume":"13","author":"Pnueli","year":"1984"},{"key":"10.1016\/j.jlamp.2026.101109_bib0035","series-title":"Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24, - April 1, 2012. Proceedings","first-page":"43","article-title":"Moving from specifications to contracts in component-Based design","volume":"7212","author":"Bauer","year":"2012"}],"container-title":["Journal of Logical and Algebraic Methods in Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220826000015?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220826000015?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T14:00:01Z","timestamp":1771336801000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2352220826000015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":35,"alternative-id":["S2352220826000015"],"URL":"https:\/\/doi.org\/10.1016\/j.jlamp.2026.101109","relation":{},"ISSN":["2352-2208"],"issn-type":[{"value":"2352-2208","type":"print"}],"subject":[],"published":{"date-parts":[[2026,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Safe orchestrated multicomposition of systems of communicating finite state machines","name":"articletitle","label":"Article Title"},{"value":"Journal of Logical and Algebraic Methods in Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jlamp.2026.101109","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 Inc.","name":"copyright","label":"Copyright"}],"article-number":"101109"}}