composition of effectful machines effectful machine bisimilarity effectful machines form a effectful 2-category effectful transition systems in do-notation effectful trace equivalence eff ectful machine bisimilarity Tags: Mealy machine. References. Effectful Traces via Effectful Streams (Bonchi, Di Lavore, Román, 2024)
