Simulation as a correct transformation of rewrite systems

W.J. Fokkink, J.C. Pol, van de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science (Proceedings 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 26-29, 1997)
EditorsI. Privara, P. Ruzicka
Place of PublicationBerlin
PublisherSpringer
Pages249-258
ISBN (Print)3-540-63437-1
DOIs
Publication statusPublished - 1997

Publication series

NameLecture Notes in Computer Science
Volume1295
ISSN (Print)0302-9743

Cite this