See also. isolated effectful stream effectful machine Tags: effectful trace equivalence, effectful machine bisimilarity. References Effectful Traces via Effectful Streams (Bonchi, Di Lavore, Román, 2024) Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)