effectful machine bisimilarity

Last updated Feb 15, 2025

Tags: bisimilarity, effectful Mealy machine.