effectful streams

Last updated Feb 15, 2025

• Monoidal streams

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)