Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 Conference Proceedings at Scopus Article at Scopus

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 Conference proceeding at Scopus Article at Scopus

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A survey of Compositional signal flow theoryBonchi, Filippo; Sobocinski, Pawel Maria; Zanasi, FabioAdvancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups2021 / p. 29–56 https://doi.org/10.1007/978-3-030-81701-5_2 Article collection metrics at Scopus Article at Scopus