Order-Theoretic Analysis Protocol Design | Order-Theoretic Analysis | Mathematics | NEROS