Simulation as a Correct Transformation of Rewrite Systems.

Wan J. Fokkink, Jaco van de Pol

Browse the full MFCS paper archive.