1997
Simulation as a correct transformation of rewrite systems
Publication
Publication
Presented at the
International Symposium on Mathematical Foundations of Computer Science
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Mathematical Foundations of Computer Science | |
Fokkink, W., & van de Pol, J. (1997). Simulation as a correct transformation of rewrite systems. In Proceedings of the International Symposium on Mathematical Foundations of Computer Science 1997 (pp. 249–258). Springer. |