{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T11:19:57Z","timestamp":1782991197110,"version":"3.54.5"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227294","type":"print"},{"value":"9783032227300","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22730-0_5","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T16:24:15Z","timestamp":1776270255000},"page":"88-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Tapes as Stochastic Matrices of String Diagrams"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3433-723X","authenticated-orcid":false,"given":"Filippo","family":"Bonchi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4189-0930","authenticated-orcid":false,"given":"Cipriano Junior","family":"Cioffo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,15]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Arbib, M.A., Manes, E.G.: Partially additive categories and flow-diagram semantics. Journal of Algebra 62(1), 203\u2013227 (1980)","DOI":"10.1016\/0021-8693(80)90212-4"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Cioffo, C.J.: Tapes as stochastic matrices of string diagrams (2026), https:\/\/arxiv.org\/abs\/2601.01472","DOI":"10.1007\/978-3-032-22730-0_5"},{"key":"5_CR3","unstructured":"Bonchi, F., Cioffo, C.J., Di\u00a0Giorgio, A., Di\u00a0Lavore, E.: Tape diagrams for monoidal monads (2025), https:\/\/arxiv.org\/abs\/2503.22819"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Di\u00a0Giorgio, A., Di\u00a0Lavore, E.: A diagrammatic algebra for program logics. In: FoSSaCS 2025 (to appear) (2025)","DOI":"10.1007\/978-3-031-90897-2_15"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Di\u00a0Giorgio, A., Santamaria, A.: Deconstructing the calculus of relations with tape diagrams. Proceedings of the ACM on Programming Languages 7(POPL), 1864\u20131894 (2023)","DOI":"10.1145\/3571257"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Di\u00a0Lavore, E., Rom\u00e1n, M.: Effectful mealy machines: Bisimulation and trace. To appear in LICS 2025 abs\/2410.10627 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2410.10627, https:\/\/doi.org\/10.48550\/arXiv.2410.10627","DOI":"10.48550\/ARXIV.2410.10627"},{"key":"5_CR7","unstructured":"Bonchi, F., Silva, A., Sokolova, A.: The power of convex algebras. In: 28th International Conference on Concurrency Theory (CONCUR 2017). pp. 23\u20131. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik (2017)"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Sokolova, A., Vignudelli, V.: The theory of traces for systems with nondeterminism, probability, and termination. Log. Methods Comput. Sci. 18(2) (2022). https:\/\/doi.org\/10.46298\/LMCS-18(2:21)2022, https:\/\/doi.org\/10.46298\/lmcs-18(2:21)2022","DOI":"10.46298\/LMCS-18(2:21)2022"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of categorical algebra. 2, Encyclopedia of Mathematics and its Applications, vol.\u00a051. Cambridge University Press, Cambridge (1994), categories and structures","DOI":"10.1017\/CBO9780511525858"},{"key":"5_CR10","unstructured":"Cho, K.: Effectuses in categorical quantum foundations. arXiv preprint arXiv:1910.12198 (2019)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Cho, K., Jacobs, B.: Disintegration and bayesian inversion via string diagrams. Mathematical Structures in Computer Science 29(7), 938\u2013971 (2019)","DOI":"10.1017\/S0960129518000488"},{"key":"5_CR12","unstructured":"Cho, K., Jacobs, B., Westerbaan, B., Westerbaan, A.: An introduction to effectus theory. ArXiv abs\/1512.05813 (2015), https:\/\/api.semanticscholar.org\/CorpusID:14013233"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Coecke, B., Selby, J., Tull, S.: Two Roads to Classicality 266, 104\u2013118 (Feb 2018). https:\/\/doi.org\/10.4204\/EPTCS.266.7","DOI":"10.4204\/EPTCS.266.7"},{"key":"5_CR14","unstructured":"Di\u00a0Giorgio, A., Sobocinski, P., Voorneveld, N.: Parametric iteration in resource theories. In: 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik (2026), to appear"},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Di\u00a0Lavore, E., Rom\u00e1n, M.: Evidential decision theory via partial markov categories. CoRR abs\/2301.12989 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2301.12989, https:\/\/doi.org\/10.48550\/arXiv.2301.12989","DOI":"10.48550\/ARXIV.2301.12989"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"Di\u00a0Lavore, E., Rom\u00e1n, M., Sobocinski, P.: Partial markov categories. CoRR abs\/2502.03477 (2025). https:\/\/doi.org\/10.48550\/ARXIV.2502.03477, https:\/\/doi.org\/10.48550\/arXiv.2502.03477","DOI":"10.48550\/ARXIV.2502.03477"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Fox, T.: Coalgebras and cartesian categories. Communications in Algebra 4(7), 665\u2013667 (1976). https:\/\/doi.org\/10.1080\/00927877608822127","DOI":"10.1080\/00927877608822127"},{"key":"5_CR18","unstructured":"Fritz, T.: A presentation of the category of stochastic matrices. arXiv preprint arXiv:0902.2554 (2009)"},{"key":"5_CR19","unstructured":"Fritz, T., Gadducci, F., Perrone, P., Trotta, D.: Weakly markov categories and weakly affine monads. arXiv preprint arXiv:2303.14049 (2023)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Fritz, T., Gonda, T., Houghton-Larsen, N.G., Lorenzin, A., Perrone, P., Stein, D.: Dilations and information flow axioms in categorical probability. Mathematical Structures in Computer Science 33(10), 913\u2013957 (2023)","DOI":"10.1017\/S0960129523000324"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Fritz, T., Gonda, T., Perrone, P.: De Finetti\u2019s theorem in categorical probability. arXiv preprint arXiv:2105.02639 (2021)","DOI":"10.31390\/josa.2.4.06"},{"key":"5_CR22","unstructured":"Fritz, T., Klingler, A.: The d-separation criterion in categorical probability. Journal of Machine Learning Research 24(46), 1\u201349 (2023)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Fritz, T., Perrone, P.: Bimonoidal structure of probability monads. Electronic notes in theoretical computer science 341, 121\u2013149 (2018)","DOI":"10.1016\/j.entcs.2018.11.007"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Logical Methods in Computer Science 3 (2007)","DOI":"10.2168\/LMCS-3(4:11)2007"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576\u2013580 (1969)","DOI":"10.1145\/363235.363259"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: From coalgebraic to monoidal traces. Electronic Notes in Theoretical Computer Science 264(2), 125\u2013140 (2010)","DOI":"10.1016\/j.entcs.2010.07.017"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Kissinger, A., Zanasi, F.: Causal inference by string diagram surgery. In: International conference on foundations of software science and computation structures. pp. 313\u2013329. Springer (2019)","DOI":"10.1007\/978-3-030-17127-8_18"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Zanasi, F., et\u00a0al.: The logical essentials of Bayesian reasoning. Cambridge University Press (2021)","DOI":"10.1017\/9781108770750.010"},{"key":"5_CR29","unstructured":"Johnson, N., Yau, D.: Bimonoidal categories, $$ e_n $$-monoidal categories, and algebraic $$ k $$-theory. arXiv preprint arXiv:2107.10526 (2021)"},{"key":"5_CR30","doi-asserted-by":"publisher","unstructured":"Joyal, A., Street, R.: The geometry of tensor calculus, I. Advances in Mathematics 88(1), 55\u2013112 (Jul 1991). https:\/\/doi.org\/10.1016\/0001-8708(91)90003-P","DOI":"10.1016\/0001-8708(91)90003-P"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Kozen, D.: A completeness theorem for kleene algebras and the algebra of regular events. Information and Computation 110, 366\u2013390 (1994)","DOI":"10.1006\/inco.1994.1037"},{"key":"5_CR32","doi-asserted-by":"publisher","unstructured":"Laplaza, M.L.: Coherence for distributivity. In: Kelly, G.M., Laplaza, M., Lewis, G., Mac\u00a0Lane, S. (eds.) Coherence in Categories. pp. 29\u201365. Lecture Notes in Mathematics, Springer, Berlin, Heidelberg (1972). https:\/\/doi.org\/10.1007\/BFb0059555","DOI":"10.1007\/BFb0059555"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Liell-Cock, J., Staton, S.: Compositional imprecise probability: A solution from graded monads and markov categories. Proc. ACM Program. Lang. 9(POPL), 1596\u20131626 (2025). https:\/\/doi.org\/10.1145\/3704890, https:\/\/doi.org\/10.1145\/3704890","DOI":"10.1145\/3704890"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Mac\u00a0Lane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.\u00a05. Springer-Verlag, New York, second edn. (1978), \/\/www.springer.com\/gb\/book\/9780387984032","DOI":"10.1007\/978-1-4757-4721-8"},{"key":"5_CR35","doi-asserted-by":"publisher","unstructured":"Mio, M., Sarkis, R., Vignudelli, V.: Combining nondeterminism, probability, and termination: Equational and metric reasoning. In: 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pp. 1\u201314. IEEE (2021). https:\/\/doi.org\/10.1109\/LICS52264.2021.9470717, https:\/\/doi.org\/10.1109\/LICS52264.2021.9470717","DOI":"10.1109\/LICS52264.2021.9470717"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Moss, S., Perrone, P.: A category-theoretic proof of the ergodic decomposition theorem. Ergodic Theory and Dynamical Systems 43(12), 4166\u20134192 (2023)","DOI":"10.1017\/etds.2023.6"},{"key":"5_CR37","unstructured":"nLab authors: (bo, ff) factorization system. https:\/\/ncatlab.org\/nlab\/show\/%28bo%2C+ff%29+factorization+system (Jul 2025), Revision 12"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Perrone, P.: Markov categories and entropy. IEEE Transactions on Information Theory 70(3), 1671\u20131692 (2023)","DOI":"10.1109\/TIT.2023.3328825"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Piedeleu, R., Torres-Ruiz, M., Silva, A., Zanasi, F.: A complete axiomatisation of equivalence for discrete probabilistic programming. In: ESOP 2025 (to appear) (2025)","DOI":"10.1007\/978-3-031-91121-7_9"},{"key":"5_CR40","doi-asserted-by":"publisher","unstructured":"Rozowski, W., Silva, A.: A completeness theorem for probabilistic regular expressions. In: Sobocinski, P., Lago, U.D., Esparza, J. (eds.) Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. pp. 66:1\u201366:14. ACM (2024). https:\/\/doi.org\/10.1145\/3661814.3662084, https:\/\/doi.org\/10.1145\/3661814.3662084","DOI":"10.1145\/3661814.3662084"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: New structures for physics, pp. 289\u2013355. Springer (2010)","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"Stein, D., Staton, S.: Probabilistic programming with exact conditions. Journal of the ACM 71(1), 1\u201353 (2024)","DOI":"10.1145\/3632170"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Stone, M.H.: Postulates for the barycentric calculus. Annali di Matematica Pura ed Applicata 29(1), 25\u201330 (1949)","DOI":"10.1007\/BF02413910"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Villoria, A., Basold, H., Laarman, A.: Enriching diagrams with algebraic operations. In: International Conference on Foundations of Software Science and Computation Structures. pp. 121\u2013143. Springer (2024)","DOI":"10.1007\/978-3-031-57228-9_7"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22730-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T23:49:56Z","timestamp":1782949796000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22730-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227294","9783032227300"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22730-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"15 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2026\/conferences\/fossacs\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}