0 : 2 Synthesis of Distributed Algorithms with Parameterized Threshold Guards 1 Introduction