Effectful Mealy Machines: Bisimulation and Trace.

Filippo Bonchi, Elena Di Lavore, Mario Romn

Browse the full LICS paper archive.