Algebraic simulations

José Meseguer, Miguel Palomino, Narciso Martí-Oliet. Algebraic simulations. Journal of Logic and Algebraic Programming, 79(2):103-143, 2010. [doi]

Abstract

Abstract is missing.