Synthesis of Distributed Algorithms with Parameterized Threshold Guards.

Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem

Browse the full OPODIS paper archive.