Monovariant Analysis in Discrete Systems Protocol Design | Monovariant Analysis in Discrete Systems | Mathematics | NEROS