effectful machine bisimilarity

Tags: bisimilarity, effectful Mealy machine.