\(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
scientific article; zbMATH DE number 6838878
scientific article