effectful Mealy machine
- 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.