Effectful Mealy Machines: Bisimulation and TraceBonchi, Filippo; Di Lavore, Elena; Roman Garcia, 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