{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:43:03Z","timestamp":1768909383218,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","award":["2014-2020.4.05.19-0001"],"award-info":[{"award-number":["2014-2020.4.05.19-0001"]}],"id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3533365","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Monoidal Streams for Dataflow Programming"],"prefix":"10.1145","author":[{"given":"Elena","family":"Di Lavore","sequence":"first","affiliation":[{"name":"Tallinn University of Technology, Estonia"}]},{"given":"Giovanni","family":"de Felice","sequence":"additional","affiliation":[{"name":"University of Oxford, United Kingdom and Quantinuum, United Kingdom"}]},{"given":"Mario","family":"Rom\u00e1n","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology, Estonia"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Timely Dataflow: A Model. In Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE","author":"Abadi Mart\u00edn","year":"2015","unstructured":"Mart\u00edn Abadi and Michael Isard . 2015 . Timely Dataflow: A Model. In Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings(Lecture Notes in Computer Science, Vol.\u00a09039), Susanne Graf and Mahesh Viswanathan (Eds.). Springer , 131\u2013145. https:\/\/doi.org\/10.1007\/978-3-319-19195-9_9 10.1007\/978-3-319-19195-9_9 Mart\u00edn Abadi and Michael Isard. 2015. Timely Dataflow: A Model. In Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings(Lecture Notes in Computer Science, Vol.\u00a09039), Susanne Graf and Mahesh Viswanathan (Eds.). Springer, 131\u2013145. https:\/\/doi.org\/10.1007\/978-3-319-19195-9_9"},{"key":"e_1_3_2_1_2_1","volume-title":"Categorical quantum mechanics. Handbook of quantum logic and quantum structures 2","author":"Abramsky Samson","year":"2009","unstructured":"Samson Abramsky and Bob Coecke . 2009. Categorical quantum mechanics. Handbook of quantum logic and quantum structures 2 ( 2009 ), 261\u2013325. arXiv:0808.1023 Samson Abramsky and Bob Coecke. 2009. Categorical quantum mechanics. Handbook of quantum logic and quantum structures 2 (2009), 261\u2013325. arXiv:0808.1023"},{"key":"e_1_3_2_1_3_1","volume-title":"Category theory and computer science","author":"Aczel Peter","unstructured":"Peter Aczel and Nax Mendler . 1989. A final coalgebra theorem . In Category theory and computer science . Springer , 357\u2013365. Peter Aczel and Nax Mendler. 1989. A final coalgebra theorem. In Category theory and computer science. Springer, 357\u2013365."},{"key":"e_1_3_2_1_4_1","first-page":"157","article-title":"Introduction to coalgebra","volume":"14","author":"Ad\u00e1mek Ji\u0159\u00ed","year":"2005","unstructured":"Ji\u0159\u00ed Ad\u00e1mek . 2005 . Introduction to coalgebra . Theory and Applications of Categories 14 , 8 (2005), 157 \u2013 199 . Ji\u0159\u00ed Ad\u00e1mek. 2005. Introduction to coalgebra. Theory and Applications of Categories 14, 8 (2005), 157\u2013199.","journal-title":"Theory and Applications of Categories"},{"key":"e_1_3_2_1_5_1","first-page":"589","article-title":"Free algebras and automata realizations in the language of categories","volume":"015","author":"Ad\u00e1mek Ji\u0159\u00ed","year":"1974","unstructured":"Ji\u0159\u00ed Ad\u00e1mek . 1974 . Free algebras and automata realizations in the language of categories . Commentationes Mathematicae Universitatis Carolinae 015 , 4(1974), 589 \u2013 602 . http:\/\/eudml.org\/doc\/16649 Ji\u0159\u00ed Ad\u00e1mek. 1974. Free algebras and automata realizations in the language of categories. Commentationes Mathematicae Universitatis Carolinae 015, 4(1974), 589\u2013602. http:\/\/eudml.org\/doc\/16649","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4941578"},{"key":"e_1_3_2_1_7_1","volume-title":"Paul Le Guernic, and Nicolas Halbwachs","author":"Benveniste Albert","year":"1993","unstructured":"Albert Benveniste , Paul Caspi , Paul Le Guernic, and Nicolas Halbwachs . 1993 . Data-Flow Synchronous Languages. In A Decade of Concurrency, Reflections and Perspectives, REX School\/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0803), J.\u00a0W. de\u00a0Bakker, Willem\u00a0P. de\u00a0Roever, and Grzegorz Rozenberg (Eds.). Springer , 1\u201345. https:\/\/doi.org\/10.1007\/3-540-58043-3_16 10.1007\/3-540-58043-3_16 Albert Benveniste, Paul Caspi, Paul Le Guernic, and Nicolas Halbwachs. 1993. Data-Flow Synchronous Languages. In A Decade of Concurrency, Reflections and Perspectives, REX School\/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0803), J.\u00a0W. de\u00a0Bakker, Willem\u00a0P. de\u00a0Roever, and Grzegorz Rozenberg (Eds.). Springer, 1\u201345. https:\/\/doi.org\/10.1007\/3-540-58043-3_16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.16"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51237-3_4"},{"key":"e_1_3_2_1_10_1","volume-title":"Iteration Theories - The Equational Logic of Iterative Processes","author":"Bloom L.","unstructured":"Stephen\u00a0 L. Bloom and Zolt\u00e1n \u00c9sik . 1993. Iteration Theories - The Equational Logic of Iterative Processes . Springer . https:\/\/doi.org\/10.1007\/978-3-642-78034-9 10.1007\/978-3-642-78034-9 Stephen\u00a0L. Bloom and Zolt\u00e1n \u00c9sik. 1993. Iteration Theories - The Equational Logic of Iterative Processes. Springer. https:\/\/doi.org\/10.1007\/978-3-642-78034-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90053-V"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(95)00159-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290338"},{"key":"e_1_3_2_1_14_1","volume-title":"Graphical Conjunctive Queries. In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018","author":"Bonchi Filippo","year":"2018","unstructured":"Filippo Bonchi , Jens Seeber , and Pawe\u0142 Soboci\u0144ski . 2018 . Graphical Conjunctive Queries. In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018 , September 4-7, 2018, Birmingham, UK(LIPIcs, Vol.\u00a0119), Dan\u00a0R. Ghica and Achim Jung (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 13:1\u201313:23. https:\/\/doi.org\/10.4230\/LIPIcs.CSL. 2018.13 10.4230\/LIPIcs.CSL.2018.13 Filippo Bonchi, Jens Seeber, and Pawe\u0142 Soboci\u0144ski. 2018. Graphical Conjunctive Queries. In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK(LIPIcs, Vol.\u00a0119), Dan\u00a0R. Ghica and Achim Jung (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 13:1\u201313:23. https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2018.13"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_30"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775051.2676993"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00322-9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24727-2_6"},{"key":"e_1_3_2_1_19_1","volume-title":"Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021","author":"Carette Titouan","year":"2021","unstructured":"Titouan Carette , Marc de Visme , and Simon Perdrix . 2021 . Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021 , Rome, Italy, June 29 - July 2, 2021. IEEE, 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470553 10.1109\/LICS52264.2021.9470553 Titouan Carette, Marc de Visme, and Simon Perdrix. 2021. Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. IEEE, 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470553"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/232629.232651"},{"key":"e_1_3_2_1_21_1","volume-title":"Disintegration and Bayesian Inversion via String Diagrams. Mathematical Structures in Computer Science (March","author":"Cho Kenta","year":"2019","unstructured":"Kenta Cho and Bart Jacobs . 2019. Disintegration and Bayesian Inversion via String Diagrams. Mathematical Structures in Computer Science (March 2019 ), 1\u201334. https:\/\/doi.org\/10.1017\/S0960129518000488 arxiv:1709.00322 10.1017\/S0960129518000488 Kenta Cho and Bart Jacobs. 2019. Disintegration and Bayesian Inversion via String Diagrams. Mathematical Structures in Computer Science (March 2019), 1\u201334. https:\/\/doi.org\/10.1017\/S0960129518000488 arxiv:1709.00322"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00382-0"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(95)00160-3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.02.008"},{"key":"e_1_3_2_1_25_1","volume-title":"SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings(Lecture Notes in Computer Science, Vol.\u00a011822)","author":"Cousot Patrick","year":"2019","unstructured":"Patrick Cousot . 2019 . Syntactic and Semantic Soundness of Structural Dataflow Analysis. In Static Analysis - 26th International Symposium , SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings(Lecture Notes in Computer Science, Vol.\u00a011822) , Bor-Yuh\u00a0Evan Chang (Ed.). Springer, 96\u2013117. https:\/\/doi.org\/10.1007\/978-3-030-32304-2_6 10.1007\/978-3-030-32304-2_6 Patrick Cousot. 2019. Syntactic and Semantic Soundness of Structural Dataflow Analysis. In Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings(Lecture Notes in Computer Science, Vol.\u00a011822), Bor-Yuh\u00a0Evan Chang (Ed.). Springer, 96\u2013117. https:\/\/doi.org\/10.1007\/978-3-030-32304-2_6"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of Applied Category Theory, ACT 2019","author":"de Felice Giovanni","year":"2020","unstructured":"Giovanni de Felice , Alexis Toumi , and Bob Coecke . 2020 . DisCoPy: Monoidal Categories in Python . In Proceedings of Applied Category Theory, ACT 2019 , University of Oxford, UK , 15-19 July 2019(EPTCS, Vol.\u00a0323). 183\u2013197. https:\/\/doi.org\/10.4204\/EPTCS.333.13 10.4204\/EPTCS.333.13 Giovanni de Felice, Alexis Toumi, and Bob Coecke. 2020. DisCoPy: Monoidal Categories in Python. In Proceedings of Applied Category Theory, ACT 2019, University of Oxford, UK, 15-19 July 2019(EPTCS, Vol.\u00a0323). 183\u2013197. https:\/\/doi.org\/10.4204\/EPTCS.333.13"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings Applied Category Theory 2019, ACT 2019","author":"Delpeuch Antonin","year":"2019","unstructured":"Antonin Delpeuch . 2019 . A complete language for faceted dataflow programs . In Proceedings Applied Category Theory 2019, ACT 2019 , University of Oxford, UK , 15-19 July 2019(EPTCS, Vol.\u00a0323), John Baez and Bob Coecke (Eds.). 1\u201314. https:\/\/doi.org\/10.4204\/EPTCS.323.1 10.4204\/EPTCS.323.1 Antonin Delpeuch. 2019. A complete language for faceted dataflow programs. In Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019(EPTCS, Vol.\u00a0323), John Baez and Bob Coecke (Eds.). 1\u201314. https:\/\/doi.org\/10.4204\/EPTCS.323.1"},{"key":"e_1_3_2_1_28_1","volume-title":"Formal Aspects of Component Software, Gwen Sala\u00fcn and Anton Wijs (Eds.)","author":"Di\u00a0Lavore Elena","unstructured":"Elena Di\u00a0Lavore , Alessandro Gianola , Mario Rom\u00e1n , Nicoletta Sabadini , and Pawe\u0142 Soboci\u0144ski . 2021. A Canonical Algebra of Open Transition Systems . In Formal Aspects of Component Software, Gwen Sala\u00fcn and Anton Wijs (Eds.) . Springer International Publishing , Cham , 63\u201381. Elena Di\u00a0Lavore, Alessandro Gianola, Mario Rom\u00e1n, Nicoletta Sabadini, and Pawe\u0142 Soboci\u0144ski. 2021. A Canonical Algebra of Open Transition Systems. In Formal Aspects of Component Software, Gwen Sala\u00fcn and Anton Wijs (Eds.). Springer International Publishing, Cham, 63\u201381."},{"key":"e_1_3_2_1_29_1","volume-title":"Deterministic and Stochastic Optimal Control. Number vol 1 in Applications of Mathematics","author":"Fleming Wendell\u00a0Helms","unstructured":"Wendell\u00a0Helms Fleming and Raymond\u00a0 W. Rishel . 1975. Deterministic and Stochastic Optimal Control. Number vol 1 in Applications of Mathematics . Springer-Verlag , Berlin ; New York. Wendell\u00a0Helms Fleming and Raymond\u00a0W. Rishel. 1975. Deterministic and Stochastic Optimal Control. Number vol 1 in Applications of Mathematics. Springer-Verlag, Berlin ; New York."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/00927877608822127"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2020.107239"},{"key":"e_1_3_2_1_32_1","unstructured":"Richard Garner. 2021. Stream processors and comodels. arXiv preprint arXiv:2106.05473(2021).  Richard Garner. 2021. Stream processors and comodels. arXiv preprint arXiv:2106.05473(2021)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0018-1"},{"key":"e_1_3_2_1_34_1","unstructured":"Dan\u00a0R. Ghica George Kaye and David Sprunger. 2022. Full abstraction for digital circuits. arxiv:2201.10456\u00a0[cs.LO]  Dan\u00a0R. Ghica George Kaye and David Sprunger. 2022. Full abstraction for digital circuits. arxiv:2201.10456\u00a0[cs.LO]"},{"key":"e_1_3_2_1_35_1","volume-title":"Linear logic. Theoretical computer science 50, 1","author":"Girard Jean-Yves","year":"1987","unstructured":"Jean-Yves Girard . 1987. Linear logic. Theoretical computer science 50, 1 ( 1987 ), 1\u2013101. Jean-Yves Girard. 1987. Linear logic. Theoretical computer science 50, 1 (1987), 1\u2013101."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.159839"},{"key":"e_1_3_2_1_37_1","volume-title":"Models of sharing graphs: a categorical semantics of let and letrec. Ph.\u00a0D. Dissertation","author":"Hasegawa Masahito","year":"1842","unstructured":"Masahito Hasegawa . 1997. Models of sharing graphs: a categorical semantics of let and letrec. Ph.\u00a0D. Dissertation . University of Edinburgh , UK. http:\/\/hdl.handle.net\/ 1842 \/15001 Masahito Hasegawa. 1997. Models of sharing graphs: a categorical semantics of let and letrec. Ph.\u00a0D. Dissertation. University of Edinburgh, UK. http:\/\/hdl.handle.net\/1842\/15001"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2725"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055651"},{"key":"e_1_3_2_1_40_1","unstructured":"Furio Honsell. 1981. Modelli della teoria degli insiemi principi di regolarit\u00e0 e di libera costruzione. Ph.\u00a0D. Dissertation. Tesi di Laurea Universit\u00e0 di Pisa.  Furio Honsell. 1981. Modelli della teoria degli insiemi principi di regolarit\u00e0 e di libera costruzione. Ph.\u00a0D. Dissertation. Tesi di Laurea Universit\u00e0 di Pisa."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603124"},{"key":"e_1_3_2_1_42_1","volume-title":"Introduction to Coalgebra: Towards Mathematics of States and Observation","author":"Jacobs Bart","unstructured":"Bart Jacobs . 2016. Introduction to Coalgebra: Towards Mathematics of States and Observation . Cambridge Tracts in Theoretical Computer Science, Vol.\u00a059. Cambridge University Press . https:\/\/doi.org\/10.1017\/CBO9781316823187 10.1017\/CBO9781316823187 Bart Jacobs. 2016. Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoretical Computer Science, Vol.\u00a059. Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9781316823187"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80688-7"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"},{"key":"e_1_3_2_1_45_1","unstructured":"Gilles Kahn and David MacQueen. 1976. Coroutines and networks of parallel processes. (1976).  Gilles Kahn and David MacQueen. 1976. Coroutines and networks of parallel processes. (1976)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90090-G"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00012-6"},{"key":"e_1_3_2_1_48_1","volume-title":"\u00a0C. Walters","author":"Katis Piergiulio","year":"1999","unstructured":"Piergiulio Katis , Nicoletta Sabadini , and Robert F . \u00a0C. Walters . 1999 . On the algebra of feedback and systems with boundary. In Rendiconti del Seminario Matematico di Palermo . Piergiulio Katis, Nicoletta Sabadini, and Robert F.\u00a0C. Walters. 1999. On the algebra of feedback and systems with boundary. In Rendiconti del Seminario Matematico di Palermo."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2002009"},{"key":"e_1_3_2_1_50_1","volume-title":"Reversibility and stochastic networks","author":"Kelly P.","unstructured":"Frank\u00a0 P. Kelly . 2011. Reversibility and stochastic networks . Cambridge University Press . Frank\u00a0P. Kelly. 2011. Reversibility and stochastic networks. Cambridge University Press."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129515000493"},{"key":"#cr-split#-e_1_3_2_1_52_1.1","doi-asserted-by":"crossref","unstructured":"Sava Krstic John Launchbury and Dusko Pavlovic. 2001. Categories of Processes Enriched in Final Coalgebras. In Foundations of Software Science and Computation Structures 4th International Conference FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001 Genova Italy April 2-6 2001 Proceedings(Lecture Notes in Computer Science Vol.\u00a02030) Furio Honsell and Marino Miculan (Eds.). Springer 303-317. https:\/\/doi.org\/10.1007\/3-540-45315-6_20 10.1007\/3-540-45315-6_20","DOI":"10.1007\/3-540-45315-6_20"},{"key":"#cr-split#-e_1_3_2_1_52_1.2","doi-asserted-by":"crossref","unstructured":"Sava Krstic John Launchbury and Dusko Pavlovic. 2001. Categories of Processes Enriched in Final Coalgebras. In Foundations of Software Science and Computation Structures 4th International Conference FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001 Genova Italy April 2-6 2001 Proceedings(Lecture Notes in Computer Science Vol.\u00a02030) Furio Honsell and Marino Miculan (Eds.). Springer 303-317. https:\/\/doi.org\/10.1007\/3-540-45315-6_20","DOI":"10.1007\/3-540-45315-6_20"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01110627"},{"key":"e_1_3_2_1_54_1","volume-title":"Combinators and Functional Programming Languages(Lecture Notes in Computer Science), Guy Cousineau, Pierre-Louis Curien","author":"Lambek J.","unstructured":"J. Lambek . 1986. Cartesian Closed Categories and Typed \u03bb-Calculi . In Combinators and Functional Programming Languages(Lecture Notes in Computer Science), Guy Cousineau, Pierre-Louis Curien , and Bernard Robinet (Eds.). Springer, Berlin , Heidelberg , 136\u2013175. https:\/\/doi.org\/10.1007\/3-540-17184-3_44 10.1007\/3-540-17184-3_44 J. Lambek. 1986. Cartesian Closed Categories and Typed \u03bb-Calculi. In Combinators and Functional Programming Languages(Lecture Notes in Computer Science), Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet (Eds.). Springer, Berlin, Heidelberg, 136\u2013175. https:\/\/doi.org\/10.1007\/3-540-17184-3_44"},{"key":"e_1_3_2_1_55_1","volume-title":"Lee and Eleftherios Matsikoudis","author":"A.","year":"2009","unstructured":"Edward\u00a0 A. Lee and Eleftherios Matsikoudis . 2009 . The semantics of dataflow with firing. From Semantics to Computer Science : Essays in Honour of Gilles Kahn ( 2009), 71\u201394. Edward\u00a0A. Lee and Eleftherios Matsikoudis. 2009. The semantics of dataflow with firing. From Semantics to Computer Science: Essays in Honour of Gilles Kahn (2009), 71\u201394."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185536"},{"key":"#cr-split#-e_1_3_2_1_57_1.1","doi-asserted-by":"crossref","unstructured":"Fosco Loregian. 2021. (Co)end Calculus. Cambridge University Press. https:\/\/doi.org\/10.1017\/9781108778657 10.1017\/9781108778657","DOI":"10.1017\/9781108778657"},{"key":"#cr-split#-e_1_3_2_1_57_1.2","doi-asserted-by":"crossref","unstructured":"Fosco Loregian. 2021. (Co)end Calculus. Cambridge University Press. https:\/\/doi.org\/10.1017\/9781108778657","DOI":"10.1017\/9781108778657"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90066-7"},{"key":"e_1_3_2_1_59_1","volume-title":"Categories for the Working Mathematician","author":"Lane Saunders Mac","unstructured":"Saunders Mac Lane . 1978. Categories for the Working Mathematician . Springer New York . nil pages. https:\/\/doi.org\/10.1007\/978-1-4757-4721-8 10.1007\/978-1-4757-4721-8 Saunders Mac Lane. 1978. Categories for the Working Mathematician. Springer New York. nil pages. https:\/\/doi.org\/10.1007\/978-1-4757-4721-8"},{"key":"e_1_3_2_1_60_1","volume-title":"ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings(Lecture Notes in Computer Science, Vol.\u00a012075)","author":"Mamouras Konstantinos","year":"2020","unstructured":"Konstantinos Mamouras . 2020 . Semantic Foundations for Deterministic Dataflow and Stream Processing. In Programming Languages and Systems - 29th European Symposium on Programming , ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings(Lecture Notes in Computer Science, Vol.\u00a012075) , Peter M\u00fcller (Ed.). Springer, 394\u2013427. https:\/\/doi.org\/10.1007\/978-3-030-44914-8_15 10.1007\/978-3-030-44914-8_15 Konstantinos Mamouras. 2020. Semantic Foundations for Deterministic Dataflow and Stream Processing. In Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings(Lecture Notes in Computer Science, Vol.\u00a012075), Peter M\u00fcller (Ed.). Springer, 394\u2013427. https:\/\/doi.org\/10.1007\/978-3-030-44914-8_15"},{"key":"e_1_3_2_1_61_1","first-page":"1144","article-title":"Feedback Theory - Some Properties of Signal Flow Graphs","volume":"41","author":"Mason J.","year":"1953","unstructured":"S.\u00a0 J. Mason . 1953 . Feedback Theory - Some Properties of Signal Flow Graphs . Proceedings of the Institute of Radio Engineers 41 , 9 (1953), 1144 \u2013 1156 . https:\/\/doi.org\/10.1109\/JRPROC.1953.274449 10.1109\/JRPROC.1953.274449 S.\u00a0J. Mason. 1953. Feedback Theory - Some Properties of Signal Flow Graphs. Proceedings of the Institute of Radio Engineers 41, 9 (1953), 1144\u20131156. https:\/\/doi.org\/10.1109\/JRPROC.1953.274449","journal-title":"Proceedings of the Institute of Radio Engineers"},{"key":"e_1_3_2_1_62_1","volume-title":"A calculus of communicating systems","author":"Milner Robin","unstructured":"Robin Milner . 1980. A calculus of communicating systems . Springer . Robin Milner. 1980. A calculus of communicating systems. Springer."},{"key":"e_1_3_2_1_63_1","volume-title":"Calculi for synchrony and asynchrony. Theoretical computer science 25, 3","author":"Milner Robin","year":"1983","unstructured":"Robin Milner . 1983. Calculi for synchrony and asynchrony. Theoretical computer science 25, 3 ( 1983 ), 267\u2013310. Robin Milner. 1983. Calculi for synchrony and asynchrony. Theoretical computer science 25, 3 (1983), 267\u2013310."},{"key":"e_1_3_2_1_64_1","volume-title":"The formal semantics of deterministic dataflow programs. Ph.\u00a0D. Dissertation","author":"Oliveira Jos\u00e9\u00a0Nuno","unstructured":"Jos\u00e9\u00a0Nuno Oliveira . 1984. The formal semantics of deterministic dataflow programs. Ph.\u00a0D. Dissertation . University of Manchester , UK. http:\/\/ethos.bl.uk\/OrderDetails.do?uin=uk.bl.ethos.376586 Jos\u00e9\u00a0Nuno Oliveira. 1984. The formal semantics of deterministic dataflow programs. Ph.\u00a0D. Dissertation. University of Manchester, UK. http:\/\/ethos.bl.uk\/OrderDetails.do?uin=uk.bl.ethos.376586"},{"key":"e_1_3_2_1_65_1","volume-title":"The Category of Markov Kernels. Electronic Notes in Theoretical Computer Science 22 (Jan","author":"Panangaden Prakash","year":"1999","unstructured":"Prakash Panangaden . 1999. The Category of Markov Kernels. Electronic Notes in Theoretical Computer Science 22 (Jan . 1999 ), 171\u2013187. https:\/\/doi.org\/10.1016\/S1571-0661(05)80602-4 10.1016\/S1571-0661(05)80602-4 Prakash Panangaden. 1999. The Category of Markov Kernels. Electronic Notes in Theoretical Computer Science 22 (Jan. 1999), 171\u2013187. https:\/\/doi.org\/10.1016\/S1571-0661(05)80602-4"},{"key":"e_1_3_2_1_66_1","volume-title":"International Colloquium on Automata, Languages, and Programming","author":"Panangaden Prakash","unstructured":"Prakash Panangaden and Eugene\u00a0 W. Stark . 1988. Computations , residuals, and the power of indeterminacy . In International Colloquium on Automata, Languages, and Programming . Springer , 439\u2013454. Prakash Panangaden and Eugene\u00a0W. Stark. 1988. Computations, residuals, and the power of indeterminacy. In International Colloquium on Automata, Languages, and Programming. Springer, 439\u2013454."},{"key":"e_1_3_2_1_67_1","volume-title":"Theoretical computer science","author":"Park David","unstructured":"David Park . 1981. Concurrency and automata on infinite sequences . In Theoretical computer science . Springer , 167\u2013183. David Park. 1981. Concurrency and automata on infinite sequences. In Theoretical computer science. Springer, 167\u2013183."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00340-6"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90034-X"},{"key":"e_1_3_2_1_70_1","unstructured":"Mario Rom\u00e1n. 2020. Comb Diagrams for Discrete-Time Feedback. CoRR abs\/2003.06214(2020). arXiv:2003.06214  Mario Rom\u00e1n. 2020. Comb Diagrams for Discrete-Time Feedback. CoRR abs\/2003.06214(2020). arXiv:2003.06214"},{"key":"e_1_3_2_1_71_1","volume-title":"Stochastic processes. Vol.\u00a02","author":"Ross M.","unstructured":"Sheldon\u00a0 M. Ross . 1996. Stochastic processes. Vol.\u00a02 . John Wiley & Sons . Sheldon\u00a0M. Ross. 1996. Stochastic processes. Vol.\u00a02. John Wiley & Sons."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516507.1516510"},{"key":"e_1_3_2_1_74_1","volume-title":"Linear logic, *-autonomous categories and cofree coalgebras. Ste. Anne de Bellevue","author":"Seely A.G.","unstructured":"Robert\u00a0 A.G. Seely . 1987. Linear logic, *-autonomous categories and cofree coalgebras. Ste. Anne de Bellevue , Quebec : CEGEP John Abbott College . Robert\u00a0A.G. Seely. 1987. Linear logic, *-autonomous categories and cofree coalgebras. Ste. Anne de Bellevue, Quebec: CEGEP John Abbott College."},{"key":"e_1_3_2_1_75_1","unstructured":"Claude\u00a0E. Shannon. 1942. The Theory and Design of Linear Differential Equation Machines. Bell Telephone Laboratories.  Claude\u00a0E. Shannon. 1942. The Theory and Design of Linear Differential Equation Machines. Bell Telephone Laboratories."},{"key":"e_1_3_2_1_76_1","unstructured":"Michael Shulman. 2016. Categorical logic from a categorical point of view. Available on the web(2016). https:\/\/mikeshulman.github.io\/catlog\/catlog.pdf  Michael Shulman. 2016. Categorical logic from a categorical point of view. Available on the web(2016). https:\/\/mikeshulman.github.io\/catlog\/catlog.pdf"},{"key":"e_1_3_2_1_77_1","unstructured":"Michael Shulman. 2021. A practical type theory for symmetric monoidal categories. arxiv:1911.00818\u00a0[math.CT]  Michael Shulman. 2021. A practical type theory for symmetric monoidal categories. arxiv:1911.00818\u00a0[math.CT]"},{"key":"e_1_3_2_1_78_1","unstructured":"David Sprunger and Bart Jacobs. 2019. The differential calculus of causal functions. CoRR abs\/1904.10611(2019). arXiv:1904.10611http:\/\/arxiv.org\/abs\/1904.10611  David Sprunger and Bart Jacobs. 2019. The differential calculus of causal functions. CoRR abs\/1904.10611(2019). arXiv:1904.10611http:\/\/arxiv.org\/abs\/1904.10611"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785670"},{"key":"e_1_3_2_1_80_1","volume-title":"Mathematical theory of domains","author":"Stoltenberg-Hansen Viggo","unstructured":"Viggo Stoltenberg-Hansen , Ingrid Lindstr\u00f6m , and Edward\u00a0 R. Griffor . 1994. Mathematical theory of domains . Cambridge tracts in theoretical computer science, Vol.\u00a022. Cambridge University Press . Viggo Stoltenberg-Hansen, Ingrid Lindstr\u00f6m, and Edward\u00a0R. Griffor. 1994. Mathematical theory of domains. Cambridge tracts in theoretical computer science, Vol.\u00a022. Cambridge University Press."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129598002588"},{"key":"e_1_3_2_1_82_1","volume-title":"Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings(Lecture Notes in Computer Science, Vol.\u00a03780)","author":"Uustalu Tarmo","year":"2005","unstructured":"Tarmo Uustalu and Varmo Vene . 2005 . The Essence of Dataflow Programming. In Programming Languages and Systems , Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings(Lecture Notes in Computer Science, Vol.\u00a03780) , Kwangkeun Yi (Ed.). Springer, 2\u201318. https:\/\/doi.org\/10.1007\/11575467_2 10.1007\/11575467_2 Tarmo Uustalu and Varmo Vene. 2005. The Essence of Dataflow Programming. In Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings(Lecture Notes in Computer Science, Vol.\u00a03780), Kwangkeun Yi (Ed.). Springer, 2\u201318. https:\/\/doi.org\/10.1007\/11575467_2"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.029"},{"key":"e_1_3_2_1_84_1","volume-title":"the dataflow programming language. Vol.\u00a0303","author":"Wadge W","unstructured":"William\u00a0 W Wadge , Edward\u00a0 A Ashcroft , 1985. Lucid , the dataflow programming language. Vol.\u00a0303 . Academic Press London . William\u00a0W Wadge, Edward\u00a0A Ashcroft, 1985. Lucid, the dataflow programming language. Vol.\u00a0303. Academic Press London."}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Haifa Israel","acronym":"LICS '22","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"]},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533365","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:10Z","timestamp":1750186930000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":86,"alternative-id":["10.1145\/3531130.3533365","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533365","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}