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