Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 Conference proceeding at Scopus Article at Scopus

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