Term Rewriting Protocol Design | Term Rewriting | Mathematics | NEROS