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