Concurrent term rewriting as a model of computation

This publication has 10 references indexed in Scilit:

• Extensions and foundations of object-oriented programming
  ACM SIGPLAN Notices, 1986
• Parallel algorithms for term matching
  Published by Springer Nature ,1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Lazy memo-functions
  Lecture Notes in Computer Science, 1985
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Programming with Equations
  ACM Transactions on Programming Languages and Systems, 1982
• How to prove algebraic inductive hypotheses without induction
  Published by Springer Nature ,1980
• A loosely-coupled applicative multi-processing system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978