Implementing parallel rewriting

This publication has 10 references indexed in Scilit:

• Rewrite Systems
  Published by Elsevier ,1990
• An introduction to OBJ 3
  Published by Springer Nature ,1988
• Compiling conditional rewriting systems
  Published by Springer Nature ,1988
• Concurrent term rewriting as a model of computation
  Published by Springer Nature ,1987
• A compiler for conditional term rewriting systems
  Published by Springer Nature ,1987
• Computing with rewrite systems
  Information and Control, 1985
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Pattern Matching in Trees
  Journal of the ACM, 1982
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Computing in systems described by equations
  Lecture Notes in Computer Science, 1977