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}
}