An abstract concurrent machine for rewriting

This publication has 10 references indexed in Scilit:

• A parallel implementation of equational programming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Rewrite Systems
  Published by Elsevier ,1990
• An implementation of narrowing
  The Journal of Logic Programming, 1989
• Transforming strongly sequential rewrite systems with constructors for efficient parallel execution
  Published by Springer Nature ,1989
• Concurrent operations on priority queues
  Communications of the ACM, 1989
• Concurrent term rewriting as a model of computation
  Published by Springer Nature ,1987
• Self-Adjusting Heaps
  SIAM Journal on Computing, 1986
• A note on leftmost innermost term reduction
  ACM SIGSAM Bulletin, 1983
• Program transformation through meta-shifting
  New Generation Computing, 1983
• Some reduction strategies for algebraic term rewriting
  ACM SIGSAM Bulletin, 1982