1 Introduction Simulation equivalence of Mealy automata in general, the sequential feedback axioms are necessary for ∼r to coincide with z.