Simulation as a correct transformation of rewrite systems

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

doi:10.1007/BFb0029968

Simulation as a correct transformation of rewrite systems

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

Algorithms, Geometry and Applications

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

Original language	English
Title of host publication	Mathematical Foundations of Computer Science (Proceedings 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 26-29, 1997)
Editors	I. Privara, P. Ruzicka
Place of Publication	Berlin
Publisher	Springer
Pages	249-258
ISBN (Print)	3-540-63437-1
DOIs	https://doi.org/10.1007/BFb0029968
Publication status	Published - 1997

Publication series

Name	Lecture Notes in Computer Science
Volume	1295
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0029968

Cite this

Fokkink, W. J., & Pol, van de, J. C. (1997). Simulation as a correct transformation of rewrite systems. In I. Privara, & P. Ruzicka (Eds.), Mathematical Foundations of Computer Science (Proceedings 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 26-29, 1997) (pp. 249-258). (Lecture Notes in Computer Science; Vol. 1295). Springer. https://doi.org/10.1007/BFb0029968

@inproceedings{6fda2eb9aacc4008af0a4134861e9280,

title = "Simulation as a correct transformation of rewrite systems",

author = "W.J. Fokkink and {Pol, van de}, J.C.",

year = "1997",

doi = "10.1007/BFb0029968",

language = "English",

isbn = "3-540-63437-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "249--258",

editor = "I. Privara and P. Ruzicka",

booktitle = "Mathematical Foundations of Computer Science (Proceedings 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 26-29, 1997)",

address = "Germany",

}

Fokkink, WJ & Pol, van de, JC 1997, Simulation as a correct transformation of rewrite systems. in I Privara & P Ruzicka (eds), Mathematical Foundations of Computer Science (Proceedings 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 26-29, 1997). Lecture Notes in Computer Science, vol. 1295, Springer, Berlin, pp. 249-258. https://doi.org/10.1007/BFb0029968

Simulation as a correct transformation of rewrite systems. / Fokkink, W.J.; Pol, van de, J.C.

Mathematical Foundations of Computer Science (Proceedings 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 26-29, 1997). ed. / I. Privara; P. Ruzicka. Berlin : Springer, 1997. p. 249-258 (Lecture Notes in Computer Science; Vol. 1295).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Simulation as a correct transformation of rewrite systems

AU - Fokkink, W.J.

AU - Pol, van de, J.C.

PY - 1997

Y1 - 1997

U2 - 10.1007/BFb0029968

DO - 10.1007/BFb0029968

M3 - Conference contribution

SN - 3-540-63437-1

T3 - Lecture Notes in Computer Science

SP - 249

EP - 258

BT - Mathematical Foundations of Computer Science (Proceedings 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 26-29, 1997)

A2 - Privara, I.

A2 - Ruzicka, P.

PB - Springer

CY - Berlin

ER -