Synthesis of Distributed Algorithms with Parameterized Threshold Guards

Lazic, Marijana; Konnov, Igor; Widder, Josef; Bloem, Roderick

by Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem

Reference:

Synthesis of Distributed Algorithms with Parameterized Threshold GuardsMarijana Lazic, Igor Konnov, Josef Widder, Roderick BloemOPODIS, volume 95 of LIPIcs, pages 32:1–32:20, 2017.

Bibtex Entry:

@inproceedings{LKWB17:opodis,
  author = {Marijana Lazic and Igor Konnov and Josef Widder and Roderick Bloem},
title = {Synthesis of Distributed
  Algorithms with Parameterized Threshold Guards},
 booktitle = {OPODIS},
 year = {2017},
 series    = {LIPIcs},
 pages     = {32:1--32:20},
 volume    = {95},
 url = {https://doi.org/10.4230/LIPIcs.OPODIS.2017.32}
}