Abstraction of Real-World Systems Protocol Design | Abstraction of Real-World Systems | Mathematics | NEROS