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