Synthesis of Distributed Algorithms with Parameterized Threshold Guards

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

doi:10.4230/LIPIcs.OPODIS.2017.32

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

Reference:

Synthesis of Distributed Algorithms with Parameterized Threshold GuardsMarijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017 (James Aspnes, Alysson Bessani, Pascal Felber, João Leitão, eds.), volume 95 of LIPIcs, pages 32:1–32:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

Bibtex Entry:

@inproceedings{DBLP:conf/opodis/Lazic0WB17,
  author    = {Marijana Lazic and
               Igor Konnov and
               Josef Widder and
               Roderick Bloem},
  editor    = {James Aspnes and
               Alysson Bessani and
               Pascal Felber and
               Jo{\~{a}}o Leit{\~{a}}o},
  title     = {Synthesis of Distributed Algorithms with Parameterized Threshold Guards},
  booktitle = {21st International Conference on Principles of Distributed Systems,
               {OPODIS} 2017, Lisbon, Portugal, December 18-20, 2017},
  series    = {LIPIcs},
  volume    = {95},
  pages     = {32:1--32:20},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {https://doi.org/10.4230/LIPIcs.OPODIS.2017.32},
  doi       = {10.4230/LIPIcs.OPODIS.2017.32},
  timestamp = {Wed, 28 Mar 2018 11:20:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/opodis/Lazic0WB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}