Algebraic simulations