{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T23:09:47Z","timestamp":1784848187719,"version":"3.55.0"},"reference-count":100,"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,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"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.101125","type":"journal-article","created":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T17:31:07Z","timestamp":1773855067000},"page":"101125","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Compositional separation of control flow and data flow"],"prefix":"10.1016","volume":"150","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0074-390X","authenticated-orcid":false,"given":"Damian","family":"Arellanes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/j.jlamp.2026.101125_bib0001","doi-asserted-by":"crossref","first-page":"834","DOI":"10.1017\/S0960129512000278","article-title":"A modular formal semantics for Ptolemy","volume":"23","author":"Tripakis","year":"2013","journal-title":"Math. Struct. Comput. Sci."},{"issue":"3","key":"10.1016\/j.jlamp.2026.101125_bib0002","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1017\/S0960129520000043","article-title":"Open Petri nets","volume":"30","author":"Baez","year":"2020","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0003","doi-asserted-by":"crossref","DOI":"10.3389\/fcomp.2025.1564048","article-title":"Models of high-level computation","volume":"7","author":"Arellanes","year":"2025","journal-title":"Front. Comput. Sci."},{"issue":"3","key":"10.1016\/j.jlamp.2026.101125_bib0004","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MS.2011.27","article-title":"Rigorous component-based system design using the BIP framework","volume":"28","author":"Basu","year":"2011","journal-title":"IEEE Softw."},{"key":"10.1016\/j.jlamp.2026.101125_bib0005","series-title":"Interactive Computation: the New Paradigm","first-page":"277","article-title":"Composition of interacting computations","author":"Arbab","year":"2006"},{"key":"10.1016\/j.jlamp.2026.101125_bib0006","series-title":"An Introduction to Component-Based Software Development","author":"Lau","year":"2017"},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0007","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","article-title":"The application of Petri-nets to workflow management","volume":"8","author":"Van der Aalst","year":"1998","journal-title":"J. Circuit. Syst. Comput."},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0008","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/S0890-5401(02)93117-2","article-title":"The box algebra=Petri nets+process expressions","volume":"178","author":"Best","year":"2002","journal-title":"Inform. Comput."},{"key":"10.1016\/j.jlamp.2026.101125_bib0009","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1016\/j.future.2020.02.073","article-title":"Evaluating IoT service composition mechanisms for the scalability of IoT systems","volume":"108","author":"Arellanes","year":"2020","journal-title":"Future Gener. Comput. Syst."},{"issue":"3","key":"10.1016\/j.jlamp.2026.101125_bib0010","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.101125_bib0011","series-title":"Technical Report","article-title":"Programming for humans: a new paradigm for domain-specific languages","author":"Message","year":"2013"},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0012","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/1132357.1132360","article-title":"Dual flow nets: modeling the control\/data-flow relation in embedded systems","volume":"5","author":"Varea","year":"2006","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"10.1016\/j.jlamp.2026.101125_bib0013","series-title":"Verified Software: Theories, Tools, Experiments: First IFIP TC 2\/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10\u201313, 2005, Revised Selected Papers and Discussions","first-page":"251","article-title":"Model checking: back and forth between hardware and software","author":"Clarke","year":"2008"},{"issue":"6","key":"10.1016\/j.jlamp.2026.101125_bib0014","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1093\/comjnl\/bxac023","article-title":"Decentralized data flows for the functional scalability of service-oriented IoT systems","volume":"66","author":"Arellanes","year":"2023","journal-title":"Comput. J."},{"key":"10.1016\/j.jlamp.2026.101125_bib0015","series-title":"Second NASA\/ESA Conference on Adaptive Hardware and Systems (AHS 2007)","first-page":"326","article-title":"Separation of data flow and control flow in reconfigurable multi-core socs using the gannet service-based architecture","author":"Vanderbauwhede","year":"2007"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101125_bib0016","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/3591335.3591343","article-title":"Correctness-by-construction: an overview of the corc ecosystem","volume":"42","author":"Bordis","year":"2023","journal-title":"ACM SIGAda Lett."},{"key":"10.1016\/j.jlamp.2026.101125_bib0017","series-title":"IEEE ICIOT","first-page":"80","article-title":"Analysis and classification of service interactions for the scalability of the Internet of Things","author":"Arellanes","year":"2018"},{"key":"10.1016\/j.jlamp.2026.101125_bib0018","series-title":"Internet of Things \u2013 ICIOT 2018","first-page":"56","article-title":"Algebraic service composition for user-centric IoT applications","volume":"10972","author":"Arellanes","year":"2018"},{"key":"10.1016\/j.jlamp.2026.101125_bib0019","series-title":"Concepts of Programming Languages","author":"Sebesta","year":"2018"},{"issue":"9","key":"10.1016\/j.jlamp.2026.101125_bib0020","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/3338843","article-title":"Alloy: a language and tool for exploring software designs","volume":"62","author":"Jackson","year":"2019","journal-title":"Commun. ACM"},{"key":"10.1016\/j.jlamp.2026.101125_bib0021","series-title":"4th Annual Symposium on Theoretical Aspects of Computer Science","first-page":"22","article-title":"Natural semantics","author":"Kahn","year":"1987"},{"key":"10.1016\/j.jlamp.2026.101125_bib0022","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jlap.2004.03.009","article-title":"The origins of structural operational semantics","volume":"60\u201361","author":"Plotkin","year":"2004","journal-title":"J. Logic Algebr. Program."},{"key":"10.1016\/j.jlamp.2026.101125_bib0023","series-title":"Analysis of Asynchronous Concurrent Systems by Timed Petri Nets","author":"Ramchandani","year":"1974"},{"key":"10.1016\/j.jlamp.2026.101125_bib0024","series-title":"Theoretical Aspects of Software Engineering","first-page":"19","article-title":"Composition machines: programming self-organising software models for the emergence of sequential program spaces","author":"Arellanes","year":"2024"},{"key":"10.1016\/j.jlamp.2026.101125_bib0025","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/j.ic.2016.02.008","article-title":"A mathematical theory of resources","volume":"250","author":"Coecke","year":"2016","journal-title":"Inform. Comput."},{"issue":"6","key":"10.1016\/j.jlamp.2026.101125_bib0026","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0960129513000479","article-title":"Database queries and constraints via lifting problems","volume":"24","author":"Spivak","year":"2014","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0027","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","article-title":"Algebraic approach to single-pushout graph transformation","volume":"109","author":"L\u00f6we","year":"1993","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0028","series-title":"Technical Report","article-title":"A Taste of Categorical Petri Nets","author":"Ermel","year":"1996"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101125_bib0029","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","article-title":"Petri nets are monoids","volume":"88","author":"Meseguer","year":"1990","journal-title":"Inform. Comput."},{"key":"10.1016\/j.jlamp.2026.101125_bib0030","series-title":"9th International Symposium on Trustworthy Global Computing","first-page":"112","article-title":"Multiparty session nets","author":"Fossati","year":"2014"},{"key":"10.1016\/j.jlamp.2026.101125_bib0031","series-title":"36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","first-page":"1","article-title":"Categories of nets","author":"Baez","year":"2021"},{"issue":"7","key":"10.1016\/j.jlamp.2026.101125_bib0032","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1017\/S0960129520000262","article-title":"Petri nets based on Lawvere theories","volume":"30","author":"Master","year":"2020","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0033","series-title":"Proceedings of the Fourth Annual Symposium on Logic in Computer Science","first-page":"175","article-title":"Axiomatizing net computations and processes","author":"Degano","year":"1989"},{"key":"10.1016\/j.jlamp.2026.101125_bib0034","series-title":"Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development (TAPSOFT)","first-page":"334","article-title":"On the category of Petri net computations","author":"Sassone","year":"1995"},{"key":"10.1016\/j.jlamp.2026.101125_bib0035","series-title":"International Conference on Algebraic Methodology and Software Technology","first-page":"307","article-title":"Span(graph): a categorical algebra of transition systems","author":"Katis","year":"1997"},{"key":"10.1016\/j.jlamp.2026.101125_bib0036","series-title":"The Quantum-like Revolution","first-page":"247","article-title":"Compositionality as we see it, everywhere around us","author":"Coecke","year":"2023"},{"key":"10.1016\/j.jlamp.2026.101125_bib0037","unstructured":"OMG, Business Process Model And Notation (BPMN), 2011, https:\/\/www.omg.org\/spec\/BPMN\/2.0\/."},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0038","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1013208.1013209","article-title":"Advances in dataflow programming languages","volume":"36","author":"Johnston","year":"2004","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0039","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10009-011-0186-x","article-title":"Modelling and analysis using GROOVE","volume":"14","author":"Ghamarian","year":"2012","journal-title":"Int. J. Softw. Tool. Technol. Transf."},{"issue":"5","key":"10.1016\/j.jlamp.2026.101125_bib0040","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1017\/S0960129501003425","article-title":"Double-pushout graph transformation revisited","volume":"11","author":"Habel","year":"2001","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0041","series-title":"BPMN Method and Style: With BPMN Implementer\u2019s Guide","author":"Silver","year":"2011"},{"key":"10.1016\/j.jlamp.2026.101125_bib0042","series-title":"Technical Report","article-title":"Developing Business Processes with Oracle Business Process Composer","author":"Corporation","year":"2016"},{"key":"10.1016\/j.jlamp.2026.101125_bib0043","unstructured":"Amazon Web Services, AWS Step Functions, 2023, https:\/\/aws.amazon.com\/step-functions\/."},{"key":"10.1016\/j.jlamp.2026.101125_bib0044","unstructured":"M. Mendonca, Using AWS Step Functions State Machines to Handle Workflow-Driven AWS CodePipeline Actions, 2017, https:\/\/aws.amazon.com\/blogs\/devops\/using-aws-step-functions-state-machines-to-handle-workflow-driven-aws-codepipeline-actions\/."},{"issue":"8","key":"10.1016\/j.jlamp.2026.101125_bib0045","doi-asserted-by":"crossref","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","article-title":"Long short-term memory","volume":"9","author":"Hochreiter","year":"1997","journal-title":"Neural Comput."},{"key":"10.1016\/j.jlamp.2026.101125_bib0046","series-title":"Categories for Software Engineering","author":"Fiadeiro","year":"2005"},{"key":"10.1016\/j.jlamp.2026.101125_bib0047","unstructured":"T. Bures, J. Carlson, I. Crnkovic, S. Sentilles, A. Vulgarakis, ProCom - the progress component model reference manual (2008)."},{"key":"10.1016\/j.jlamp.2026.101125_bib0048","series-title":"2008 International Symposium on Industrial Embedded Systems","first-page":"177","article-title":"The rubus component model for resource constrained real-time systems","author":"Hanninen","year":"2008"},{"key":"10.1016\/j.jlamp.2026.101125_bib0049","series-title":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","first-page":"1","article-title":"SCADE 6: A formal language for embedded critical software development (invited paper)","author":"Cola\u00e7o","year":"2017"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101125_bib0050","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","article-title":"The Esterel synchronous programming language: design, semantics, implementation","volume":"19","author":"Berry","year":"1992","journal-title":"Sci. Comput. Program."},{"issue":"9","key":"10.1016\/j.jlamp.2026.101125_bib0051","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","article-title":"The synchronous data flow programming language LUSTRE","volume":"79","author":"Halbwachs","year":"1991","journal-title":"Proc. IEEE"},{"key":"10.1016\/j.jlamp.2026.101125_bib0052","series-title":"14th International ACM Sigsoft Symposium on Component Based Software Engineering","first-page":"41","article-title":"A component model that is both control-driven and data-driven","author":"Lau","year":"2011"},{"key":"10.1016\/j.jlamp.2026.101125_bib0053","series-title":"Proceedings of the 16th International Workshop on Component-Oriented Programming","first-page":"9","article-title":"Design pattern solutions as explicit entities in component-based software development","author":"St\u011bp\u01cen","year":"2011"},{"key":"10.1016\/j.jlamp.2026.101125_bib0054","series-title":"International Conference on Service-Oriented Computing and Applications (SOCA)","first-page":"125","article-title":"Exogenous connectors for hierarchical service composition","author":"Arellanes","year":"2017"},{"issue":"3","key":"10.1016\/j.jlamp.2026.101125_bib0055","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","article-title":"Soundness of workflow nets: classification, decidability, and analysis","volume":"23","author":"Van der Aalst","year":"2011","journal-title":"Formal Aspect. Comput."},{"issue":"2","key":"10.1016\/j.jlamp.2026.101125_bib0056","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1080\/17517570802072951","article-title":"Resource workflow nets: an approach to workflow modelling and analysis","volume":"2","author":"Prisecaru","year":"2008","journal-title":"Enterpr. Inform. Syst."},{"key":"10.1016\/j.jlamp.2026.101125_bib0057","first-page":"21","article-title":"Functor: a higher-level co-operating program model","volume":"11","author":"Ohba","year":"1981","journal-title":"Ann. Rev. Autom. Program."},{"issue":"2","key":"10.1016\/j.jlamp.2026.101125_bib0058","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1109\/43.259939","article-title":"Automated transformation of algorithms into register-transfer level implementations","volume":"13","author":"Peng","year":"1994","journal-title":"IEEE Trans. Comput. Aid. Des. Integr. Circuit. Syst."},{"key":"10.1016\/j.jlamp.2026.101125_bib0059","series-title":"IEEE\/ACM International Conference on Computer-Aided Design. Digest of Technical Papers","first-page":"558","article-title":"FunState-an internal design representation for codesign","author":"Thiele","year":"1999"},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0060","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0960129504004311","article-title":"Compositional semantics for open Petri nets based on deterministic processes","volume":"15","author":"Baldan","year":"2005","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0061","series-title":"Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems","first-page":"152","article-title":"Does my service have partners?","author":"Wolf","year":"2009"},{"key":"10.1016\/j.jlamp.2026.101125_bib0062","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/j.scico.2014.11.019","article-title":"Modular encoding of synchronous and asynchronous interactions using open Petri nets","volume":"109","author":"Baldan","year":"2015","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.jlamp.2026.101125_bib0063","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-9(3:16)2013","article-title":"Connector algebras for C\/E and P\/T nets\u2019 interactions","volume":"Volume 9, Issue 3","author":"Bruni","year":"2013","journal-title":"Log. Method. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0064","series-title":"Application and Theory of Petri Nets 1997","first-page":"235","article-title":"A compositional partial order semantics for Petri net components","author":"Kindler","year":"1997"},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0065","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3559103","article-title":"Whole-grain Petri nets and processes","volume":"70","author":"Kock","year":"2022","journal-title":"J. ACM"},{"key":"10.1016\/j.jlamp.2026.101125_bib0066","doi-asserted-by":"crossref","first-page":"5","DOI":"10.32408\/compositionality-4-5","article-title":"Categorical data structures for technical computing","volume":"4","author":"Patterson","year":"2022","journal-title":"Compositionality"},{"key":"10.1016\/j.jlamp.2026.101125_bib0067","doi-asserted-by":"crossref","DOI":"10.1017\/9781009625715","article-title":"An Introduction to String Diagrams for Computer Scientists","author":"Piedeleu","year":"2025"},{"key":"10.1016\/j.jlamp.2026.101125_bib0068","series-title":"Introducing String Diagrams: The Art of Category Theory","author":"Hinze","year":"2023"},{"key":"10.1016\/j.jlamp.2026.101125_bib0069","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-34827-3","article-title":"Programs as Diagrams: From Categorical Computability to Computable Categories","author":"Pavlovic","year":"2023"},{"key":"10.1016\/j.jlamp.2026.101125_bib0070","first-page":"221","article-title":"Applications of negative dimensional tensors","author":"Penrose","year":"1971","journal-title":"Combinat. Math. Applic."},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0071","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","article-title":"The geometry of tensor calculus, I","volume":"88","author":"Joyal","year":"1991","journal-title":"Adv. Math. (N.Y.)"},{"key":"10.1016\/j.jlamp.2026.101125_bib0072","series-title":"Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning","author":"Coecke","year":"2017"},{"issue":"38","key":"10.1016\/j.jlamp.2026.101125_bib0073","doi-asserted-by":"crossref","first-page":"1158","DOI":"10.70930\/tac\/zdyktmkc","article-title":"A compositional framework for passive linear networks","volume":"33","author":"Baez","year":"2018","journal-title":"Theory Applic. Categor."},{"issue":"24","key":"10.1016\/j.jlamp.2026.101125_bib0074","doi-asserted-by":"crossref","first-page":"836","DOI":"10.70930\/tac\/d5nq5dv8","article-title":"Categories in control","volume":"30","author":"Baez","year":"2015","journal-title":"Theory Applic. Categor."},{"issue":"Lambek Festschirft","key":"10.1016\/j.jlamp.2026.101125_bib0075","first-page":"345","article-title":"Mathematical foundations for a compositional distributional model of meaning","volume":"36","author":"Coecke","year":"2010","journal-title":"Linguist. Analy."},{"key":"10.1016\/j.jlamp.2026.101125_bib0076","series-title":"New Structures for Physics","first-page":"289","article-title":"A survey of graphical languages for monoidal categories","author":"Selinger","year":"2011"},{"issue":"4","key":"10.1016\/j.jlamp.2026.101125_bib0077","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1088\/1367-2630\/13\/4\/043016","article-title":"Interacting quantum observables: categorical algebra and diagrammatics","volume":"13","author":"Coecke","year":"2011","journal-title":"New J. Phys."},{"key":"10.1016\/j.jlamp.2026.101125_bib0078","series-title":"42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","first-page":"515","article-title":"Full abstraction for signal flow graphs","author":"Bonchi","year":"2015"},{"key":"10.1016\/j.jlamp.2026.101125_bib0079","series-title":"31st Annual ACM\/IEEE Symposium on Logic in Computer Science","first-page":"495","article-title":"A categorical approach to open and interconnected dynamical systems","author":"Fong","year":"2016"},{"issue":"POPL","key":"10.1016\/j.jlamp.2026.101125_bib0080","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3290338","article-title":"Diagrammatic algebra: from linear to concurrent systems","volume":"3","author":"Bonchi","year":"2019","journal-title":"Proc. ACM Program. Lang."},{"key":"10.1016\/j.jlamp.2026.101125_bib0081","doi-asserted-by":"crossref","first-page":"196","DOI":"10.4204\/EPTCS.323.14","article-title":"String diagrams for regular logic (extended abstract)","volume":"323","author":"Fong","year":"2020","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0082","series-title":"24th International Conference on Foundations of Software Science and Computation Structures","first-page":"469","article-title":"A string diagrammatic axiomatisation of finite-state automata","author":"Piedeleu","year":"2021"},{"issue":"4","key":"10.1016\/j.jlamp.2026.101125_bib0083","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1017\/S0960129522000317","article-title":"String diagram rewrite theory II: rewriting with symmetric monoidal structure","volume":"32","author":"Bonchi","year":"2022","journal-title":"Math. Struct. Comput. Sci."},{"issue":"7","key":"10.1016\/j.jlamp.2026.101125_bib0084","doi-asserted-by":"crossref","first-page":"829","DOI":"10.1017\/S0960129522000123","article-title":"String diagram rewrite theory III: confluence with and without Frobenius","volume":"32","author":"Bonchi","year":"2022","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0085","unstructured":"D.R. Ghica, G. Kaye, Rewriting modulo traced comonoid structure, 8th International Conference on Formal Structures for Computation and Deduction (FSCD) 260(2023) 14:1\u201314:21."},{"issue":"3","key":"10.1016\/j.jlamp.2026.101125_bib0086","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1017\/S0305004100074338","article-title":"Traced monoidal categories","volume":"119","author":"Joyal","year":"1996","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"10.1016\/j.jlamp.2026.101125_bib0087","series-title":"28th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024)","article-title":"Enriching diagrams with algebraic operations","author":"Villoria","year":"2025"},{"key":"10.1016\/j.jlamp.2026.101125_bib0088","series-title":"34th European Symposium on Programming (ESOP)","first-page":"202","article-title":"A complete axiomatisation of equivalence for discrete probabilistic programming","author":"Piedeleu","year":"2025"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101125_bib0089","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/3502719","article-title":"String diagram rewrite theory I: rewriting with Frobenius structure","volume":"69","author":"Bonchi","year":"2022","journal-title":"J. ACM"},{"key":"10.1016\/j.jlamp.2026.101125_bib0090","series-title":"48th International Symposium on Mathematical Foundations of Computer Science","first-page":"1","article-title":"String diagrammatic trace theory","volume":"272","author":"Earnshaw","year":"2023"},{"issue":"POPL","key":"10.1016\/j.jlamp.2026.101125_bib0091","first-page":"64:1864","article-title":"Deconstructing the calculus of relations with tape diagrams","volume":"7","author":"Bonchi","year":"2023","journal-title":"Proceed. ACM Program. Lang."},{"key":"10.1016\/j.jlamp.2026.101125_bib0092","series-title":"28th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)","first-page":"308","article-title":"A diagrammatic algebra for program logics","author":"Bonchi","year":"2025"},{"key":"10.1016\/j.jlamp.2026.101125_bib0093","series-title":"11th Conference on Algebra and Coalgebra in Computer Science (CALCO)","first-page":"11:1","article-title":"Tape diagrams for monoidal monads","volume":"342","author":"Bonchi","year":"2025"},{"key":"10.1016\/j.jlamp.2026.101125_bib0094","unstructured":"C. Comfort, A. Delpeuch, J. Hedges, Sheet diagrams for bimonoidal categories, 2020."},{"key":"10.1016\/j.jlamp.2026.101125_bib0095","series-title":"Memory Evolutive Systems; Hierarchy, Emergence, Cognition","volume":"4","author":"Ehresmann","year":"2007"},{"issue":"1","key":"10.1016\/j.jlamp.2026.101125_bib0096","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","article-title":"Computing with membranes","volume":"61","author":"P\u01ceun","year":"2000","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.jlamp.2026.101125_bib0097","series-title":"Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing","first-page":"133","article-title":"A formal support to business and architectural design for service-oriented systems","author":"Bruni","year":"2011"},{"issue":"11\u201312","key":"10.1016\/j.jlamp.2026.101125_bib0098","first-page":"1257","article-title":"The FRACTAL component model and its support in Java","volume":"36","author":"Bruneton","year":"2006","journal-title":"Softw.: Pract. Exper."},{"key":"10.1016\/j.jlamp.2026.101125_bib0099","series-title":"The Space and Motion of Communicating Agents","author":"Milner","year":"2009"},{"key":"10.1016\/j.jlamp.2026.101125_bib0100","series-title":"The algebra of open and interconnected systems","author":"Fong","year":"2016"}],"container-title":["Journal of Logical and Algebraic Methods in Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220826000179?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220826000179?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T19:24:35Z","timestamp":1780428275000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2352220826000179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":100,"alternative-id":["S2352220826000179"],"URL":"https:\/\/doi.org\/10.1016\/j.jlamp.2026.101125","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":"Compositional separation of control flow and data flow","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.101125","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"101125"}}