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. Proceedings of the International Symposium on Mathematical Foundations of Computer Science 1997, 249–258. |
|