Effectful Mealy Machines, Bisimulation and Trace (Bonchi, Di Lavore, Román, 2025)

@inproceedings{bonchi25,
  author       = {Filippo Bonchi and
                  Elena Di Lavore and
                  Mario Rom{\'{a}}n},
  title        = {Effectful Mealy Machines: Bisimulation and Trace},
  booktitle    = {40th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2025, Singapore, June 23-26, 2025},
  pages        = {541--554},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/LICS65433.2025.00047},
  doi          = {10.1109/LICS65433.2025.00047},
  timestamp    = {Tue, 21 Oct 2025 20:15:58 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BonchiLR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}