Order in partial Markov categoriesDi Lavore, Elena; Román, Mario; Sobociński, Paweł; Széles, Márk41st Conference on the Mathematical Foundaions of Programming Semantics, Proceedings of MFPS XLI, June 16-21, 2025, Glasgow, Scotland2025 / 21 p. : ill https://doi.org/10.46298/entics.16686

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings at Scopus Article at Scopus Article at WOS