Joint work with Filippo Bonchi, and Elena Di Lavore. Following work with Elena Di Lavore, and Giovanni de Felice. Effectful Mealy Machines, Bisimulation and Trace (Bonchi, Di Lavore, Román, 2025) Coinductive Monoidal Streams (Di Lavore, de Felice, Roman, 2023) Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)