Dialectica Petri netsDi Lavore, Elena; Leal, Wilmer; de Paiva, ValeriaFundamenta Informaticae2025 / art. 4 https://doi.org/10.46298/fi.13125

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