Simulation as a Correct Transformation of Rewrite Systems

Wan Fokkink, Jaco van de Pol. Simulation as a Correct Transformation of Rewrite Systems. In Igor PrĂ­vara, Peter Ruzicka, editors, Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Volume 1295 of Lecture Notes in Computer Science, pages 249-258, Springer, 1997.

Abstract

Abstract is missing.