@Proceedings{cao_et_al:LIPIcs.OPODIS.2018,
title = {{LIPIcs, Volume 125, OPODIS'18, Complete Volume}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018},
URN = {urn:nbn:de:0030-drops-101742},
doi = {10.4230/LIPIcs.OPODIS.2018},
annote = {Keywords: Computer systems organization, Dependable and fault-tolerant systems and networks, Computing methodologies, Distributed algorithms, Networks, Mobile networks, Wireless access networks, Ad hoc networks, Software and its engineering, Distributed systems organizing principles,}
}
@InProceedings{cao_et_al:LIPIcs.OPODIS.2018.0,
author = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {0:i--0:xx},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.0},
URN = {urn:nbn:de:0030-drops-100607},
doi = {10.4230/LIPIcs.OPODIS.2018.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{welch:LIPIcs.OPODIS.2018.1,
author = {Welch, Jennifer L.},
title = {{Complexity of Multi-Valued Register Simulations: A Retrospective}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {1:1--1:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.1},
URN = {urn:nbn:de:0030-drops-100611},
doi = {10.4230/LIPIcs.OPODIS.2018.1},
annote = {Keywords: Distributed Systems}
}
@InProceedings{abbadi:LIPIcs.OPODIS.2018.2,
author = {Abbadi, Amr El},
title = {{Distributed Systems and Databases of the Globe Unite! The Cloud, the Edge and Blockchains}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.2},
URN = {urn:nbn:de:0030-drops-100625},
doi = {10.4230/LIPIcs.OPODIS.2018.2},
annote = {Keywords: Consensus, Commitment, Cloud, Edge Computing, Blockchain}
}
@InProceedings{sen:LIPIcs.OPODIS.2018.3,
author = {Sen, Siddhartha},
title = {{How to Make Decisions (Optimally)}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.3},
URN = {urn:nbn:de:0030-drops-100638},
doi = {10.4230/LIPIcs.OPODIS.2018.3},
annote = {Keywords: reinforcement learning, distributed systems, counterfactual evaluation}
}
@InProceedings{censorhillel_et_al:LIPIcs.OPODIS.2018.4,
author = {Censor-Hillel, Keren and Leitersdorf, Dean and Turner, Elia},
title = {{Sparse Matrix Multiplication and Triangle Listing in the Congested Clique Model}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {4:1--4:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.4},
URN = {urn:nbn:de:0030-drops-100645},
doi = {10.4230/LIPIcs.OPODIS.2018.4},
annote = {Keywords: congested clique, matrix multiplication, triangle listing}
}
@InProceedings{inamdar_et_al:LIPIcs.OPODIS.2018.5,
author = {Inamdar, Tanmay and Pai, Shreyas and Pemmaraju, Sriram V.},
title = {{Large-Scale Distributed Algorithms for Facility Location with Outliers}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {5:1--5:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.5},
URN = {urn:nbn:de:0030-drops-100650},
doi = {10.4230/LIPIcs.OPODIS.2018.5},
annote = {Keywords: Distributed Algorithms, Clustering with Outliers, Metric Facility Location, Massively Parallel Computation, k-machine model, Congested Clique}
}
@InProceedings{collet_et_al:LIPIcs.OPODIS.2018.6,
author = {Collet, Simon and Fraigniaud, Pierre and Penna, Paolo},
title = {{Equilibria of Games in Networks for Local Tasks}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {6:1--6:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.6},
URN = {urn:nbn:de:0030-drops-100668},
doi = {10.4230/LIPIcs.OPODIS.2018.6},
annote = {Keywords: Local distributed computing, Locally checkable labelings}
}
@InProceedings{censorhillel_et_al:LIPIcs.OPODIS.2018.7,
author = {Censor-Hillel, Keren and Paz, Ami and Ravid, Noam},
title = {{The Sparsest Additive Spanner via Multiple Weighted BFS Trees}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {7:1--7:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.7},
URN = {urn:nbn:de:0030-drops-100676},
doi = {10.4230/LIPIcs.OPODIS.2018.7},
annote = {Keywords: Distributed graph algorithms, congest model, weighted BFS trees, additive spanners}
}
@InProceedings{ko:LIPIcs.OPODIS.2018.8,
author = {Ko, Jeremy},
title = {{The Amortized Analysis of a Non-blocking Chromatic Tree}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {8:1--8:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.8},
URN = {urn:nbn:de:0030-drops-100688},
doi = {10.4230/LIPIcs.OPODIS.2018.8},
annote = {Keywords: amortized analysis, non-blocking, lock-free, balanced binary search trees}
}
@InProceedings{atalar_et_al:LIPIcs.OPODIS.2018.9,
author = {Atalar, Aras and Renaud-Goud, Paul and Tsigas, Philippas},
title = {{Lock-Free Search Data Structures: Throughput Modeling with Poisson Processes}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {9:1--9:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.9},
URN = {urn:nbn:de:0030-drops-100698},
doi = {10.4230/LIPIcs.OPODIS.2018.9},
annote = {Keywords: Lock-free, Search Data Structures, Performance, Modeling, Analysis}
}
@InProceedings{kelly_et_al:LIPIcs.OPODIS.2018.10,
author = {Kelly, Robert and Pearlmutter, Barak A. and Maguire, Phil},
title = {{Concurrent Robin Hood Hashing}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {10:1--10:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.10},
URN = {urn:nbn:de:0030-drops-100701},
doi = {10.4230/LIPIcs.OPODIS.2018.10},
annote = {Keywords: concurrency, Robin Hood Hashing, data-structures, hash tables, non-blocking}
}
@InProceedings{aksenov_et_al:LIPIcs.OPODIS.2018.11,
author = {Aksenov, Vitaly and Kuznetsov, Petr and Shalyto, Anatoly},
title = {{Parallel Combining: Benefits of Explicit Synchronization}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {11:1--11:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.11},
URN = {urn:nbn:de:0030-drops-100713},
doi = {10.4230/LIPIcs.OPODIS.2018.11},
annote = {Keywords: concurrent data structure, parallel batched data structure, combining}
}
@InProceedings{wei_et_al:LIPIcs.OPODIS.2018.12,
author = {Wei, Hengfeng and Huang, Yu and Lu, Jian},
title = {{Specification and Implementation of Replicated List: The Jupiter Protocol Revisited}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {12:1--12:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.12},
URN = {urn:nbn:de:0030-drops-100720},
doi = {10.4230/LIPIcs.OPODIS.2018.12},
annote = {Keywords: Collaborative text editing systems, Replicated list, Concurrency control, Strong/weak list specification, Operational transformation, Jupiter protocol}
}
@InProceedings{foerster_et_al:LIPIcs.OPODIS.2018.13,
author = {Foerster, Klaus-Tycho and Parham, Mahmoud and Schmid, Stefan and Wen, Tao},
title = {{Local Fast Segment Rerouting on Hypercubes}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {13:1--13:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.13},
URN = {urn:nbn:de:0030-drops-100739},
doi = {10.4230/LIPIcs.OPODIS.2018.13},
annote = {Keywords: segment routing, local fast failover, link failures}
}
@InProceedings{sakavalas_et_al:LIPIcs.OPODIS.2018.14,
author = {Sakavalas, Dimitris and Tseng, Lewis and Vaidya, Nitin H.},
title = {{Effects of Topology Knowledge and Relay Depth on Asynchronous Appoximate Consensus}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {14:1--14:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.14},
URN = {urn:nbn:de:0030-drops-100744},
doi = {10.4230/LIPIcs.OPODIS.2018.14},
annote = {Keywords: Asynchrony, crash, consensus, incomplete graphs, topology knowledge}
}
@InProceedings{xu_et_al:LIPIcs.OPODIS.2018.15,
author = {Xu, Wenbo and R\"{u}sch, Signe and Li, Bijun and Kapitza, R\"{u}diger},
title = {{Hybrid Fault-Tolerant Consensus in Asynchronous and Wireless Embedded Systems}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.15},
URN = {urn:nbn:de:0030-drops-100757},
doi = {10.4230/LIPIcs.OPODIS.2018.15},
annote = {Keywords: Distributed system, consensus, fault tolerance}
}
@InProceedings{amoussouguenou_et_al:LIPIcs.OPODIS.2018.16,
author = {Amoussou-Guenou, Yackolley and Del Pozzo, Antonella and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara},
title = {{Correctness of Tendermint-Core Blockchains}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {16:1--16:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.16},
URN = {urn:nbn:de:0030-drops-100764},
doi = {10.4230/LIPIcs.OPODIS.2018.16},
annote = {Keywords: Blockchain, Consensus, Proof-of-Stake, Fairness}
}
@InProceedings{garciaperez_et_al:LIPIcs.OPODIS.2018.17,
author = {Garc{\'\i}a-P\'{e}rez, \'{A}lvaro and Gotsman, Alexey},
title = {{Federated Byzantine Quorum Systems}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {17:1--17:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.17},
URN = {urn:nbn:de:0030-drops-100772},
doi = {10.4230/LIPIcs.OPODIS.2018.17},
annote = {Keywords: Blockchain, Stellar, Byzantine quorum systems}
}
@InProceedings{shimi_et_al:LIPIcs.OPODIS.2018.18,
author = {Shimi, Adam and Hurault, Aur\'{e}lie and Qu\'{e}innec, Philippe},
title = {{Characterizing Asynchronous Message-Passing Models Through Rounds}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {18:1--18:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.18},
URN = {urn:nbn:de:0030-drops-100783},
doi = {10.4230/LIPIcs.OPODIS.2018.18},
annote = {Keywords: Message-passing, Asynchronous Rounds, Dominant Strategies, Failures}
}
@InProceedings{kozhaya_et_al:LIPIcs.OPODIS.2018.19,
author = {Kozhaya, David and Maric, Ognjen and Pignolet, Yvonne-Anne},
title = {{You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {19:1--19:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.19},
URN = {urn:nbn:de:0030-drops-100792},
doi = {10.4230/LIPIcs.OPODIS.2018.19},
annote = {Keywords: Crash recovery, consensus, asynchrony}
}
@InProceedings{nedelec_et_al:LIPIcs.OPODIS.2018.20,
author = {N\'{e}delec, Brice and Molli, Pascal and Most\'{e}faoui, Achour},
title = {{Causal Broadcast: How to Forget?}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {20:1--20:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.20},
URN = {urn:nbn:de:0030-drops-100805},
doi = {10.4230/LIPIcs.OPODIS.2018.20},
annote = {Keywords: Causal broadcast, complexity trade-off, large and dynamic systems}
}
@InProceedings{chugg_et_al:LIPIcs.OPODIS.2018.21,
author = {Chugg, Ben and Hashemi, Hooman and Condon, Anne},
title = {{Output-Oblivious Stochastic Chemical Reaction Networks}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {21:1--21:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.21},
URN = {urn:nbn:de:0030-drops-100815},
doi = {10.4230/LIPIcs.OPODIS.2018.21},
annote = {Keywords: Chemical Reaction Networks, Stable Function Computation, Output-Oblivious, Output-Monotonic}
}
@InProceedings{afek_et_al:LIPIcs.OPODIS.2018.22,
author = {Afek, Yehuda and Emek, Yuval and Kolikant, Noa},
title = {{The Synergy of Finite State Machines}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {22:1--22:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.22},
URN = {urn:nbn:de:0030-drops-100825},
doi = {10.4230/LIPIcs.OPODIS.2018.22},
annote = {Keywords: finite state machines, stone-age model, beeping communication scheme, distributed network computability}
}
@InProceedings{kuznetsov_et_al:LIPIcs.OPODIS.2018.23,
author = {Kuznetsov, Petr and Yanagisawa, Nayuta},
title = {{Task Computability in Unreliable Anonymous Networks}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {23:1--23:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.23},
URN = {urn:nbn:de:0030-drops-100830},
doi = {10.4230/LIPIcs.OPODIS.2018.23},
annote = {Keywords: Distributed tasks, anonymous broadcast, fault-tolerance}
}
@InProceedings{okumura_et_al:LIPIcs.OPODIS.2018.24,
author = {Okumura, Takashi and Wada, Koichi and D\'{e}fago, Xavier},
title = {{Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {24:1--24:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.24},
URN = {urn:nbn:de:0030-drops-100843},
doi = {10.4230/LIPIcs.OPODIS.2018.24},
annote = {Keywords: Autonomous mobile robots, Rendezvous, Lights, L-algorithms}
}
@InProceedings{czyzowicz_et_al:LIPIcs.OPODIS.2018.25,
author = {Czyzowicz, Jurek and Killick, Ryan and Kranakis, Evangelos},
title = {{Linear Rendezvous with Asymmetric Clocks}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {25:1--25:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.25},
URN = {urn:nbn:de:0030-drops-100855},
doi = {10.4230/LIPIcs.OPODIS.2018.25},
annote = {Keywords: anonymous, asymmetric clock, infinite line, rendezvous, mobile robot, speed, competitive ratio}
}
@InProceedings{newport_et_al:LIPIcs.OPODIS.2018.26,
author = {Newport, Calvin and Zheng, Chaodong},
title = {{Approximate Neighbor Counting in Radio Networks}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {26:1--26:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.26},
URN = {urn:nbn:de:0030-drops-100860},
doi = {10.4230/LIPIcs.OPODIS.2018.26},
annote = {Keywords: Radio networks, neighborhood size estimation, approximate counting}
}
@InProceedings{gilbert_et_al:LIPIcs.OPODIS.2018.27,
author = {Gilbert, Seth and Lynch, Nancy and Newport, Calvin and Pajak, Dominik},
title = {{On Simple Back-Off in Unreliable Radio Networks}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {27:1--27:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.27},
URN = {urn:nbn:de:0030-drops-100877},
doi = {10.4230/LIPIcs.OPODIS.2018.27},
annote = {Keywords: radio networks, broadcast, unreliable links, distributed algorithm, robustness}
}
@InProceedings{goubault_et_al:LIPIcs.OPODIS.2018.28,
author = {Goubault, \'{E}ric and Ledent, J\'{e}r\'{e}my and Mimram, Samuel},
title = {{Concurrent Specifications Beyond Linearizability}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {28:1--28:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.28},
URN = {urn:nbn:de:0030-drops-100888},
doi = {10.4230/LIPIcs.OPODIS.2018.28},
annote = {Keywords: concurrent specification, concurrent object, linearizability}
}
@InProceedings{mirzaie_et_al:LIPIcs.OPODIS.2018.29,
author = {Mirzaie, Nahal and Faghih, Fathiyeh and Jacobs, Swen and Bonakdarpour, Borzoo},
title = {{Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {29:1--29:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.29},
URN = {urn:nbn:de:0030-drops-100896},
doi = {10.4230/LIPIcs.OPODIS.2018.29},
annote = {Keywords: Parameterized synthesis, Self-stabilization, Formal methods}
}
@InProceedings{sudo_et_al:LIPIcs.OPODIS.2018.30,
author = {Sudo, Yuichi and Ooshita, Fukuhito and Kakugawa, Hirotsugu and Masuzawa, Toshimitsu and Datta, Ajoy K. and Larmore, Lawrence L.},
title = {{Loosely-Stabilizing Leader Election with Polylogarithmic Convergence Time}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {30:1--30:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.30},
URN = {urn:nbn:de:0030-drops-100901},
doi = {10.4230/LIPIcs.OPODIS.2018.30},
annote = {Keywords: Loose-stabilization, Population protocols, and Leader election}
}
@InProceedings{sudo_et_al:LIPIcs.OPODIS.2018.31,
author = {Sudo, Yuichi and Datta, Ajoy K. and Larmore, Lawrence L. and Masuzawa, Toshimitsu},
title = {{Self-Stabilizing Token Distribution with Constant-Space for Trees}},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
pages = {31:1--31:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-098-9},
ISSN = {1868-8969},
year = {2019},
volume = {125},
editor = {Cao, Jiannong and Ellen, Faith and Rodrigues, Luis and Ferreira, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2018.31},
URN = {urn:nbn:de:0030-drops-100918},
doi = {10.4230/LIPIcs.OPODIS.2018.31},
annote = {Keywords: token distribution, self-stabilization, constant-space algorithm}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing