Filippo Bonchi, Elena Di Lavore, Mario Román. Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). In Corina Cîrstea, Alexander Knapp, editors, 11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, June 16-18, 2025, University of Strathclyde, UK. Volume 342 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.