"Confluence (abstract rewriting)": https://en.wikipedia.org/wiki/Confluence_(abstract_rewriting)
Knuth-Bendix "rules": delete / compose / simplify / orient / collapse / deduce
"Trace Monoid": "In computer science, a trace is a set of strings, wherein certain letters in the string are allowed to commute, but others are not. It generalizes the concept of a string, by not forcing the letters to always be in a fixed order, but allowing certain reshufflings to take place."
Peitgen: Multiple-reduction copying machine
Liskov substitution principle
"Symbolic chemical system based on abstract rewriting system and its behavior pattern": https://link.springer.com/article/10.1007/BF02471142
; ARMS - abstract rewriting system on multisets
P System: "A P system is a computational model in the field of computer science that performs calculations using a biologically-inspired process. They are based upon the structure of biological cells, abstracting from the way in which chemicals interact and cross cell membranes."