Effectful Mealy Machines: Bisimulation and TraceBonchi, Filippo; Di Lavore, Elena; Roman, Mario2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2025 / p. 541-554 : ill https://doi.org//10.1109/LICS65433.2025.00047

Order in partial Markov categoriesDi Lavore, Elena; Roman, Mario; Sobocinski, Paweł; Szeles, Mark41st 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